Ah, but the consistency of ZFC itself is undecidable from within ZFC! [1] I see what you're saying; it's quite the rabbit hole, however. [1]: https://en.wikipe

Ah, but the consistency of ZFC itself is undecidable from within ZFC! [1] I see what you're saying; it's quite the rabbit hole, however. [1]: https://en.wikipedia.org/wiki/List_of_statements_undecidable_in_ZFC https://en.wikipedia.org/wiki/List_of_statements_undecidable...