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