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!
No hay comentarios:
Publicar un comentario