14 ms·
>It's just plain wrong to say that there are more facts in a theory than proofs of facts. Both of these sets are countably infinite. Some infinities are larger
by widdershins 8y ago
>It's just plain wrong to say that there are more facts in a theory than proofs of facts. Both of these sets are countably infinite.
Some infinities are larger than others. This was proved by Georg Cantor, who created set theory.
- aleeds 8y agoAnd if you read about Cantor you will find he defined a term called 'countably infinite'. No 'countably infinite' set has a higher cardinality than any other.