2014-12-17から1日間の記事一覧

赤集合論p167定理7

赤集合論p167定理7を、順序数の演算法則に頼ることなく証明したい。そのために、いったん上限の定義を整列集合や切片の概念に引きずりおろして翻訳しておき、その知識の範囲で完結するように証明を書き直す。【準備】順序数を元とする(空でない)集合\(V\)…