Chuck
|
Registered User
|
|
|
Dec 31 |
comment |
What are some reasonable-sounding statements that are independent of ZFC? @Joel Can I get a reference for this? In particular what is the meaning of 'fewer' in the statement? Does this hold because of some 'weird' failures of separation, i.e. it is unable to 'create' subsets where we normally would expect it to? I agree with Charles, this is mind-bending to say the least, and makes me doubt the conceptual robustness of ZFC, especially since it is supposed to be so good at giving us a theory of 'size'... |
