Fenómeno de Incompletitud

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
La ocurrencia generalizada en sistemas formales lo bastante expresivos de que existen enunciados verdaderos sobre las estructuras pretendidas que no son demostrables en esos sistemas; engloba resultados como los teoremas de incompletitud de Gödel y otras limitaciones de la formalización.