amazingly simple set theory

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.

 

Burali-Forti paradox

wiki

In short, the set of all ordinals must be an ordinal, hence must be its own element, hence be less than itself.

watching The Death of Stalin

I don't know what changed. A couple of years ago I could not force myself to look at this crap. Now I see an amazing movie. Yes, a comedy. Amazing.