Similar to 数え上げ
ジェネリックフィルター
Generic filterシェルピンスキー集合
Sierpiński set自己言及のパラドックス
Liar paradox指示関数
Indicator function始順序数
Von Neumann cardinal assignment写像の合成
Function composition集合間の関係を表す記号
集合の分割
Partition of a set集合被覆問題
Set cover problem順序型
Order type順序数定義可能集合
Ordinal definable set順序対
Ordered pair上極限と下極限
Limit inferior and limit superior推移関係
Transitive relation推移的集合
Transitive setスコットのトリック
Scott's trick正則性公理
Axiom of regularity整礎的集合
全順序
Total order全単射
Bijection素集合
Disjoint sets素朴集合論
Naive set theoryソロヴェイモデル
Solovay model対角線共通部分
Diagonal intersection▼-1 trends対称関係
Symmetric relationダイヤモンド原理
Diamond principle単位区間
Unit interval単射
Injective function