Godel's string is equivalent to "I cannot be proven in formal system TNT
Related Topics
Topic: Godel's incompleteness theorem (19 items) Topic: Liar's paradox and Russell's paradox (25 items)