# Axiom of infinity?

Homework Helper

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