assiomatizzavamo