assiomatizzeremmo