Artículo principal: Sistemas axiomáticos