|
|
|
|
|
|
by skissane
695 days ago
|
|
|
> turned out to be a natural example of a theorem for which it's independence is itself independent of ZFC. Do you know any examples of that? Not aware of any myself, no. (But I’m far from an expert on this topic.) It just occurred to me as a logical possibility. |
|
|