Skip to main content
Post Made Community Wiki
Source Link
Chad Groft
  • 1.2k
  • 10
  • 15

Truth is undefinable,

which is a statement of Tarski's theorem. More precisely,

Truth in a context where one can do arithmetic is undefinable in that context.