|
2 |
edited tags
|
||
|
|
1 |
|
||
Existence of an $\omega$-nonstandard model of ZFC from compactnessI have read several times that assuming Con(ZFC), and using compactness it can be proved the existence of a model of ZFC with an ill-founded $\omega$. How is that? Any reference will be welcome.
|
||||
