Re: omega
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
- Date: 30 Sep 2007 16:45:26 +0300
Allan Adler <ara@xxxxxxxxxxxxxxxxxxxx> writes:
It was explained to me some time ago that, in a countable model of ZF,
the element omega must be a nonstandard model of Peano arithmetic. I
would like to know some place in the literature where this result is
proved.
Hopefully nowhere. It's false.
--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.
- Follow-Ups:
- Re: omega
- From: Allan Adler
- Re: omega
- References:
- omega
- From: Allan Adler
- omega
