[FOM] Infinity Axiom

Harvey Friedman friedman at math.ohio-state.edu
Sun Jul 20 05:22:16 EDT 2008

It is well known that

1. ZF with the usual axiom of infinity - having emptyset and closed  
under x goes to x union {x} - proves the existence of V(omega); yet

2. Zermelo, even with choice and foundation, with the usual axiom of  
infinity, does not prove the existence of V(omega).

However, I don't know what reference should be used for this, or how  
credit should be assigned.

Can anyone help?

Harvey Friedman

More information about the FOM mailing list