一、罗素悖论

罗素悖论:令 $S = \{ 集合 A \, | A \notin A \}$。那么 $S \in S$ 是真还是假?

二、集合论公理

连续统假设等略。