[FOM] A proof that ZFC has no any omega-models

[Jaykov Foukzon]

>    I am writing up a short sketch a proof that ZFC has no any omega-models i.e.: ~con(ZFC+E(omega-model of ZFC)).   A  short sketch  of  this proof  is posted at
>http://fs23.formsite.com//viXra/files/f-1-2-7439160_RgrjILnA_Inconsistentcountableset4..pdf
>   

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130208/17479854/attachment.html>