ABSTRACT
THE NO-C CKJNTER-EXAMPLE INTERPRETATION CF NUMBER THECRY
1. Non-construotlve considerations
We hate seen.that the quest Cor an Herhrand interpre
verifiable formula from which the original formula can be
derived in the predicate oalculus, falls for elementary
number theoyy with induction. The more general Intent of
a non-constructive point of view be easily seen to be achiev
able for quite arbitrary formulae of elementary number theory.