集合论

集合论 Class Set: ZF Def ZF 1. Extension 2. Empty 3. Pairing 4. Power 5. Union 6. Separation 7. Replace