22/01/05 22:21:45.76 nF1aC3me.net
>>807
>それ、>>798で要求している
>”ノイマン宇宙やレーヴェンハイム-スコーレムの定理と整合する説明をね”
>という条件を満たしていない
Nの定義にそんなものはまったく不要。バカが分かってないだけ。
>いわゆる、”題意外し”で大減点だよ、その答案は。ちゃんと、題意に従った答案を記述しないとダメです
>まあ、30点だなｗｗ
それを題意外しと言うならそもそも出題が悪いｗ バカが分かってないだけ
で、おまえは
>ここであなたへの宿題です。上記のNがペアノの公理を満たす事を証明して下さい。
へ白紙回答で0点
>題意に沿った解答をしないとね。そうしないと
>「”ノイマン構成だろうと他のどんな構成だろうとωの前者は存在しません”を超えて、N=ωがどう出来るのかがわかるよね」
>に繋がらない
>つまり、>>795 ”ノイマン構成だろうと他のどんな構成だろうとωの前者は存在しません。”で
>終わってしまったら、無限集合Nがどうやって出て来るかの説明になっていないよ
Nの定義を書いてるから必要十分。バカが分かってないだけ。
>そして>>801より
>「ZFにおいて自然数全体の集合Nは{}を要素とするあらゆる帰納的集合の共通部分で定義されます。」
>は、不正確な記述ですね
>そもそも、帰納なのか超限帰納なのかの問題があるし
帰納的集合の定義を書いてるから必要十分。バカが分かってないだけ。
>それから、いわゆる数学的帰納法の原理は、公理では明示的に与えられていないでしょ？
>そこの記述が、いまいちだな
だから
>ここであなたへの宿題です。上記のNがペアノの公理を満たす事を証明して下さい。
と書いてるだろｗ
そこまで書いたら答え書くことになるじゃねーかｗ
そもそも何も分かってないバカがなぜ採点者の立場になってるのか？
バカのやることは理解不能ｗ