2016-03-15から1日間の記事一覧
集合\(x\)について、「\(x\)は順序数である」とは「\(x\)は関係\(\in\)で整列順序をなす推移的集合である」、「\(x\)は自然数である」とは「\(x\)自身とその要素のすべてが、『空集合か後続順序数』である」という意味であるとする。無限公理:\(\varnothing…
集合\(x\)について、「\(x\)は順序数である」とは「\(x\)は関係\(\in\)で整列順序をなす推移的集合である」、「\(x\)は自然数である」とは「\(x\)自身とその要素のすべてが、『空集合か後続順序数』である」という意味であるとする。無限公理:\(\varnothing…