assiomatizzerebbero