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 - The Fusion of Science and Community**

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}?

Loading...

Similar Threads - Simply theory question | Date |
---|---|

I Countability of ℚ | Feb 12, 2018 |

A Is there a decidable set theory? | Feb 8, 2018 |

About the strategy of reducing the total suffering in a queue | Dec 28, 2017 |

B Empty domains and the vacuous truth | Dec 26, 2017 |

Mathematics to be simply an extension of logic | Jun 2, 2013 |

**Physics Forums - The Fusion of Science and Community**