Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Is ZFC ZFC+Con(ZFC) powerful enough to show there isn't any standard model of ZFC? What you think about it?
Is ZFC powerful enough to show there isn't any standard model of ZFC? What you think about it?
Is ZFC+Con(ZFC) powerful enough to show there isn't any standard model of ZFC? What you think about it?
Is ZFC powerful enough to show there isn't any standard model of ZFC?