En lógica, procedimiento mediante el cual una ciencia en su totalidad o un sistema de teoremas es deducido lógicamente, de acuerdo con reglas determinadas, a partir de ciertos enunciados básicos (axiomas), que a su vez se construyen a partir de un pequeño número de términos postulados como primitivos. Estos términos pueden ser definidos en forma arbitraria o concebidos conforme a un modelo que parezca ofrecer alguna justificación intuitiva con respecto a la verdad de aquellos. Los sistemas...