Gödel proved formal systems cannot prove all truths about their own syntax, establishing inherent li...
This proposition has not been edited since the history system was added.