Soraty ny fehintsoratra fohy momba ity lohahevitra manaraka ity:  Manontany ny axioma ny olonaX
Mazava ho azy, indro ny fehintsoratra fohy: I Kalvin dia manontany tena momba ny fitsipika iray izay milaza fa mitovy daholo ny olona rehetra. Porofon'i Calvin fa diso io fitsipika io, rehefa nanome ohatra momba ny olona tsy mitovy hery ara-batana, na manam-pahaizana, na manan-karena.