From Wikipedia, the free encyclopedia
The signature of the object language:
- (only in this line, is meant for direct product!)
For , let us use Peano axioms.
Universe: , the set of natural numbers.
Interpretation:
where the right-hand sides are meant for zero, inrementation, addition and multiplication among the natural numbers.