assiomatizzeranno