About: 許容順序数

集合論において、順序数 α が許容順序数（きょようじゅんじょすう）であるとは、Lα が（すなわちの）であるときをいう。言い換えれば、α が許容順序数かつ Lα⊧Σ0-系であるときに α が許容されるという。 最初の2つの許容順序数は ω と ω1CK (最小の、チャーチ・クリーネ順序数とも呼ばれる)である。 任意の非可算な正則基数は許容順序数である。