Is it true that for every standard formulation T of ZFC, T ⊢ the power set of {naturals}?(adsbygoogle = window.adsbygoogle || []).push({});

After all, the empty set axiom and the pairing axiom are in T, and so we get N. Then by the power set axiom we get P(N).

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Simply set theory question: all standard forms of ZFC imply power set of {naturals}?

**Physics Forums | Science Articles, Homework Help, Discussion**