Definición Informal de los Sistemas Axiomáticos