1
$\begingroup$

Possible Duplicate:
What are the consequences if Axiom of Infinity is negated?

In ZFC, if we replace Ax.Inf to such a statement that every set is finite, then does this theory satisfiable?

1 Answers 1

3

Yes: $V_\omega$, the set of hereditarily finite sets, is a model of $(\mathrm{ZFC}-\mathrm{Inf})+\lnot\mathrm{Inf}$.

  • 0
    @Hagen: I do indeed; thanks.2012-10-20