Timeline for Set-Theoretic Issues/Categories
Current License: CC BY-SA 3.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 22, 2012 at 12:31 | comment | added | Carl Mummert | It's not clear to me that many mathematicians are "uncomfortable" with it, in the sense that they might strongly think it's false. The large cardinal assumptions are just not among of the axioms of ZFC, so they get marked as extra assumptions in proofs. | |
Apr 22, 2012 at 5:00 | history | answered | Neil Toronto | CC BY-SA 3.0 |