21/10/30 17:28:53.06 jsIfaBFZ.net
>>697
お🐒は自らの負けを認められない だから数学に負けた
自らの無理解と誤解を自覚でない者に、正しい理解など不可能である
さて、お🐒は>>674で
「単に「（自然数の集合Nで）任意の空でない部分集合が極小元をもつ」
（自然数だから最小元を示せば可）を言えば良いんじゃね？」
と云ってるが、それは
「Nの任意の部分集合からその最小元を求める手続きを示せば良いんじゃね？」
という意味らしい
類似の定理で
「NからNへの任意の写像ｆは、その値域に最小値を持つ」
というものがあるが、お🐒なら
「ｆからその値域の最小値を求める手続きを示せばいいんじゃね」
としれっといいそうだが、やれるもんならやってみせてくれｗ
どちらの定理も、実際には
「部分集合なりｆの値域なりで最小値がないものが存在するとして
いかなるｎ∈Ｎもそこには含まれないことを示して矛盾を導く」
しかない（ヒルベルトが排中律の使用にこだわった理由！）
証明としては
・０が含まれれば最小元だからＮＧ
・ｎ未満の自然数が含まれないなら、ｎが含まれると最小元になるからＮＧ
という２点により数学的帰納法で導く
もうね、このくらい数学科では常識なのよ
こんなことも知らない工学部の連中なんてのは
・数を数えられない奴
・字が読めない奴
と同じでまっとうな人間として扱われないわけよ