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.
|
1 | [made Community Wiki] | ||
|
|
||||
