PREVIEW
... swer me honestly—is it your opinion that 'the larger the logical system, the more apparent its incompleteness becomes'? Do you have any new ideas?"
Wang Qi instinctively wanted to nod but then caught himself, "No, no, no, I just had this vague idea while proving first-order completeness—that since only first-order completeness can currently be proven, it can be considered that anything beyond first order is incomplete."
It's better not to discuss Godel's Incompleteness Theorem be ...
YOU MAY ALSO LIKE