Tercer método para la caza de leones: Método axiomático

MÉTODO AXIOMÁTICO O DE HILBERT:

Ponemos una jaula cerrada en un punto dado del desierto. Entonces introducimos el siguiente sistema lógico.

Axioma I: El conjunto de los leones en el desierto del Sáhara es no vacío.

Axioma II: Si hay un león en el desierto del Sáhara, entonces hay un león en la jaula.

Regla de inferencia: Si p es un teorema, y “p implica q” es un teorema, entonces q es un teorema.

Teorema I: Hay un león en la jaula.

CONSEGUIDO!