# Existence of an $\omega$-nonstandard model of ZFC from compactness
I 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.