Skip to main content
MathOverflow
Neil's user avatar
Neil's user avatar
Neil's user avatar
Neil
  • Member for 5 years, 4 months
  • Last seen more than 1 year ago
Profile Activity

2 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Supporter
comment
Models of ZFC Set Theory - Getting Started
"However, the fact that V is a model of ZFC cannot be proven formally within ZFC" where can it be proven? (sincere question).