leggiamo l'espressione x y z (x=y) => ((x=z)=>(y=z)) Per leggere devi conoscere il significato dei simboli Per ogni => Implica Per ogni x, per ogni y e per ogni z, l'uguaglianza x=y implica che l'uguaglianza x=z implica che vale anche l'uguaglianza y=z Come vedi basta leggere termine a termine: gli altri assiomi sono ancora piu' semplici da leggere e quindi non te li sviluppo