2015-01-13から1日間の記事一覧
前エントリでも参照した縫田さんによる証明をもとに自分なりに書き直したもの。途中で一か所、超限帰納法を使っているが、これは最小原理を用いて書き直すことができる。\( (X, \(X\)の元\(x\)と\(X\)の鎖\(C\)について、「\(x\notin C\)かつ\(x\)は\(X\)に…
前エントリでも参照した縫田さんによる証明をもとに自分なりに書き直したもの。途中で一か所、超限帰納法を使っているが、これは最小原理を用いて書き直すことができる。\( (X, \(X\)の元\(x\)と\(X\)の鎖\(C\)について、「\(x\notin C\)かつ\(x\)は\(X\)に…