Similar to 集合
0
01
12
23
3▲1 trends4
45
56
67
78
89
9外延
Extension (semantics)内包と外延
Intension内包
ZFCから独立な命題の一覧
List of statements independent of ZFCΩ-論理
Ω-logicアロンシャイン木
Aronszajn tree▲1 trends逆写像
Inverse function空集合
Empty set差集合
Complement (set theory)Δ-システム補題
Sunflower (mathematics)▲1 trends部分集合
Subset和集合
Union (set theory)Grundzüge der Mengenlehre
Grundzüge der Mengenlehre数
Number2の冪
Power of two▲1 trends1/6公式
Arg max
Arg maxAxiom (数式処理システム)
Axiom (computer algebra system)