Filosofía en español
Filosofía en español
Diccionario filosófico · 1965
Exigencia lógico-metodológica que se presenta a las teorías construidas axiomáticamente y que consiste en que en un sistema axiomático formal dado deben ser demostradas (es decir, deducidas de los axiomas) todas las proposiciones verdaderas de esta teoría. En el curso de las investigaciones de las teorías axiomáticas suficientemente ricas (por ejemplo, la aritmética) fue demostrado (Goedel en 1931, y los resultados posteriores) su carácter incompleto por principio, es decir, la existencia de proposiciones indemostrables y a la vez irrefutables en el marco de dichas teorías. La exigencia de la plenitud no es una condición absolutamente inevitable del éxito de la axiomatización: las teorías incompletas pueden tener aplicaciones prácticas satisfactorias.
Diccionario de filosofía · 1984:338