Teorema de incompletud
Teorema según el cual todo sistema formal tiene axiomas de base no demostrables dentro del mismo sistema, o expresado en otra forma: A partir de cualquier cuerpo de axiomas (o postulados), base de un sistema formal deductivo, siempre será posible descubrir alguna proposición P que no podrá ser demostrada como correcta o falsa.
Se trata de un teorema de lógica debido a GÖDEL (1931) y cuya demostración es muy compleja. Parece lícito usarlo como marco conceptual global, para los modelos de dependencia de los sistemas concretos en algún entorno. (Ver: GÖDEL, Kurt: Obras completas - Alianza - Madrid, 1981)
Correspondería a la situación de los sistemas concretos, que no pueden subsistir como sistemas aislados, en virtud del Segundo Principio de la Termodinámica.
Implicaría, también, que todo supra-sistema está en relación de dependencia con un supra-sistema de nivel superior, hasta llegar al universo, del que no se puede decir si es o no una totalidad única y aislada.
En definitiva, significaría que todo sistema tiene controles que no puede controlar, porque están en el supra-sistema.
Nota: Siguiendo al traductor español de K. GÖDEL, J. MOSTERIN, y a J. FERRATER MORA, se adoptó la voz “incompletud” de preferencia a “incompletud” o “incompleción”.