Talk:Diagonal lemma/Proof with diagonal formula/Object language
Signature
editThe signature of the object language:
- (only in this line, is meant for direct product!)
Axioms
editFor , let us use Peano axioms.
Standard modell
editUniverse: , the set of natural numbers.
Interpretation:
where the right-hand sides are meant for zero, inrementation, addition and multiplication among the natural numbers.