- #1

CRGreathouse

Science Advisor

Homework Helper

- 2,820

- 0

## Main Question or Discussion Point

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".