Tarski's undefinability theorem informally states that arithmetical truth cannot be defined in arithmetic. The theorem applies more generally to any sufficiently strong formal system, showing that truth in the standard model of the system cannot be defined within the system.
Tarski's undefinability theorem
Tarski's Theory of Truth
No comments:
Post a Comment