Sistemas axiomáticos
Definición Informal de los Sistemas Axiomáticos
Definición formal de un sistema axiomático:
[1]