Is ZFC+Con(ZFC) powerful enough to show there isn't any standard model of ZFC? What you think about it?
Standard model of ZFC
Jaykov Foukzon
- 157
- 1
- 7