順序数とは,整列集合の構造を表すシンボルです。整列集合はどの2つの整列集合も必ず「大小比較」できるため,順序数自体も整列集合になります。 本記···