Transfinite Recursion Theorem without Axiom of Replacement implies Counting Theorem

From ProofWiki
Jump to navigation Jump to search

Theorem

Let the Transfinite Recursion Theorem (Formulation $5$) be accepted as axiomatic.

Let the Axiom of Replacement not be accepted.


Then the Counting Theorem holds.


That is, it is possible to prove the Counting Theorem by using the Transfinite Recursion Theorem (Formulation $5$) as an axiom in place of the Axiom of Replacement.


Proof




Sources