Desenvolvendo os axiomas