>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.
Some infinities are larger than others. This was proved by Georg Cantor, who created set theory.