Neste episódio falarei um pouco sobre o conceito de "axioma" do ponto de vista da teoria de sistemas formais, passando por Euclides, Hilbert e chegando às teorias atuais.