孤立数（読み）こりつすう

世界大百科事典（旧版）内の孤立数の言及

【数学基礎論】より

…さて，論理式φ(x)で定義されるAの部分集合｛x∈Α｜φ(x)｝の全体をDef(A)とし，Onを順序数の全体(このようなものは集合ではなく，部類classと呼ばれる)として，L_α(α∈On)を超限帰納法により次のように定義する。L₀＝｛φ｝；αが孤立数，すなわちα＝β＋1のとき，L_α＝Def(L_β)；αが極限数のとき，集合aがL_αの要素であるとき，aを構成可能な集合と呼び，構成可能な集合の全体をLとする。VをZFの集合の全体(ユニバースと呼ばれる)とするとき，V＝Lを構成可能性公理という。…

※「孤立数」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」