All Questions
1 question
1
vote
1
answer
617
views
Intuition behind the diagonal lemma while proving Tarski's theorem about truth [duplicate]
Let $F$ be a first order logic theory with a set of axioms that are primitively recursive and are supposed to capture arithmetic (in particular, we can define a Gödel number. Let $\mathbb N$ be the ...
- 7,746