- #1
CRGreathouse
Science Advisor
Homework Helper
- 2,820
- 0
In ZF, the axiom of infinity says that the set of natural numbers exists. I was wondering if there was a (finitist?) weakening of ZF that included the axiom "the class of natural numbers exists".