Mostre-me seus axiomas e eu lhe mostrarei suas conclusões.