What is the theory without power set?
What is the theory without power set?
We show that the theory , consisting of the usual axioms of but with the power set axiom removedâspecifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every set can be wellâorderedâis weaker than commonly supposed and is inadequate to establish several basic facts often âŚ