Similar to オイラー図

Ω-logic

0

1

2

3

4

5

6

7

8

9

Cofinality

Admissible ordinal

Empty function

Kurepa tree

Von Neumann cardinal assignment

Diagonal intersection

List of alternative set theories

Hartogs number

Non-well-founded set theory

Mereology

Finite intersection property

List of statements independent of ZFC

Aronszajn tree

Cantor set

Cantor's diagonal argument

Cantor's theorem