Sobre la consistencia de la lógica de proposiciones

Los Teoremas de Gödel de 1931 (Kurt Gödel, 1906-1978), sobre la completitud y la consistencia de los axiomas, desbarataría la mayor parte del programa finitista de Hilbert, haciéndole inalcanzable para cualquier sistema formal que contenga a la aritmética ordinaria. No obstante, en algunas partes menos complejas de la matemática como la lógica básica de proposiciones se puede justificar de forma muy básica su consistencia y completitud.

27 agosto 2016