amazingly simple set theory

[juan_gandhi]

Pocket Set Theory 

PST also verifies the:

• Continuum hypothesis. This follows from (5) and (6) above;
• Axiom of replacement. This is a consequence of (A4);
• Axiom of choice. Proof. The class Ord of all ordinals is well-ordered by definition. Ord and the class V of all sets are both proper classes, because of the Burali-Forti paradox and Cantor's paradox, respectively. Therefore there exists a bijection between V and Ord, which well-orders V. ∎

The well-foundedness of all sets is neither provable nor disprovable in PST.

 

Comments

[juan_gandhi]

The author is Randall Holmes (see https://en.wikipedia.org/wiki/Pocket_set_theory )

Regarding modeling the whole Zermelo-Fraenkel Set Theory in Pocket Set Theory, it's just impossible.

[dennisgorelik]

> modeling the whole Zermelo-Fraenkel Set Theory in Pocket Set Theory, it's just impossible

Does it mean that "Pocket Set Theory" does NOT really verify "Axiom of choice"?

[juan_gandhi]

In ZFC the AC is an axiom. But this statement (which is an axiom in ZFC) is provable in Pcket Set Theory. Other axioms of ZFC won't work (not sure about foundation axiom, but definitely not the powerset axiom).