2015-01-14から1日間の記事一覧
前エントリの補題アの証明を、整列集合の比較に関する性質を用いて書き直す。これにより、同値類を導入する必要もなくなる。前回と同様の箇所で超限帰納法を用いているが、これも最小原理で書き直すことができる。以下、変更点を赤色で示す。\( (X, \(X\)の…
前エントリの補題アの証明を、整列集合の比較に関する性質を用いて書き直す。これにより、同値類を導入する必要もなくなる。前回と同様の箇所で超限帰納法を用いているが、これも最小原理で書き直すことができる。以下、変更点を赤色で示す。\( (X, \(X\)の…