assiomatizzeremo