- #1
mpitluk
- 25
- 0
Is it true that for every standard formulation T of ZFC, T ⊢ the power set of {naturals}?
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).
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).