21/10/31 15:30:53.91 OPOZLzHw.net
>>761
つづき
これ、Aの補集合をBを使っていて、分かり易い
補集合のワンステップを入れることで
直感的に分かりやすく
自然数Nから先のコンパクト化された N∪ω にもそのまま適用できる気がする（数学的には同じだろうが）
”N∪ω”でも、「任意の空でない部分集合が最小値をもつ」の証明に使える
数学的帰納法でなく、超限帰納法というべきかも知れないがね
(参考)
https://
21/10/31 15:30:53.91 OPOZLzHw.net
>>761
つづき
これ、Aの補集合をBを使っていて、分かり易い
補集合のワンステップを入れることで
直感的に分かりやすく
自然数Nから先のコンパクト化された N∪ω にもそのまま適用できる気がする（数学的には同じだろうが）
”N∪ω”でも、「任意の空でない部分集合が最小値をもつ」の証明に使える
数学的帰納法でなく、超限帰納法というべきかも知れないがね
(参考)
https://