- #1
- 5,659
- 1,561
From what I understand, the class of all real numbers that we can represent as a sentence in logic is countable. But I'm not sure if it's a set under the standard ZF axioms... it seems intuitive that it should be, since the axioms are really designed to prevent problems involving sets that are too large, and countable sets are fairly innocent, but was wondering if anyone knew one way or the other.