Jump to content

Talk:Diagonal lemma/Proof with diagonal formula/Object language

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Signature

[edit]

The signature of the object language:

(only in this line, is meant for direct product!)

Axioms

[edit]

For , let us use Peano axioms.

Standard modell

[edit]

Universe: , the set of natural numbers.

Interpretation:

where the right-hand sides are meant for zero, inrementation, addition and multiplication among the natural numbers.