Re: Non standard models of PA



On Oct 22, 1:41 pm, aatu.koskensi...@xxxxxxxxx wrote:
Yes. Every consistent theory has a Delta-2 model.

Excuse me for lacking context...
"Every" unqualified is B R O A D.
Is this every theory of arithmetic, every recursively
axiomatizable first order theory, or, really, EVERY theory?

.