18/02/27 11:55:37.32 7iav+836.net
>>981
1対1にってことでしょうな
1008:１３２人目の素数さん
18/02/27 12:01:16.85 RPBwz3i2.net
>>982
>>983
なー
1009:るほどたしかに北極南極を考慮すゆと1対1で表現できませんな ありがとうございました！
1010:１３２人目の素数さん
18/02/27 12:09:31.30 WxOww4zp.net
>>980
もう終わりか？(笑)
1011:１３２人目の素数さん
18/02/27 12:14:15.21 DmXXziai.net
何このスレ怖い
1012:１３２人目の素数さん
18/02/27 12:17:48.54 PB/BHix/.net
>>917
そうします。ありがとうございました。
1013:１３２人目の素数さん
18/02/27 12:59:25.49 6QNrQUgr.net
>>581
0点
メタレベルと対象レベルの区別が付いていない
知識不足なんてかわいい失敗ではなく、おまえのは完全にトンデモの所業
1014:１３２人目の素数さん
18/02/27 13:08:06.98 U+k5jpWl.net
>>988
ペアノ算術も学んでみましょうねー
私が勉強不足だったように、あなたもペアノ算術は知らないようですね
1015:１３２人目の素数さん
18/02/27 13:14:16.27 6QNrQUgr.net
何度言ってもおまえは理解しないが、おまえが定義したつもりになっているものは自然数ではなく、自然数モドキ
>>550-551で定義した自然数モドキには理論内部で量化子を適用できないので、数学的帰納法の原理を記述することすらできない
1016:１３２人目の素数さん
18/02/27 13:19:11.42 6QNrQUgr.net
余談だが、ω無矛盾な一階の算術ならこの方法でも数学的帰納法は表現できる
もちろん今は解析学を視野に入れているのでこの限りではない
非可算個ある自然数の集合を網羅しなければ、完全な形の数学的帰納法とは呼べない
おまえの誤解は不完全性定理のトンデモ解釈に典型的な症例と同根なのかもしれない
1017:１３２人目の素数さん
18/02/27 13:22:08.01 U+k5jpWl.net
>>990
ペアノ算術知らないんですか？
1018:１３２人目の素数さん
18/02/27 13:24:10.45 yByEFCby.net
それだけが自慢か
1019:１３２人目の素数さん
18/02/27 13:24:56.66 6QNrQUgr.net
もう少し正確に書くと
余談だが、ω無矛盾な一階の算術なら量化子を使わずに数学的帰納法は表現できる
1020:１３２人目の素数さん
18/02/27 13:27:10.97 U+k5jpWl.net
>>994
ペアノ算術を知らないようですね
1021:１３２人目の素数さん
18/02/27 13:27:52.48 6Azy1V0O.net
劣等感婆よ地獄に落ちろ
1022:１３２人目の素数さん
18/02/27 13:28:20.91 6Azy1V0O.net
劣等感婆よ地獄に落ちろ
1023:１３２人目の素数さん
18/02/27 13:28:46.04 6Azy1V0O.net
劣等感婆よ地獄に落ちろ
1024:１３２人目の素数さん
18/02/27 13:29:16.41 6Azy1V0O.net
劣等感婆よ地獄に落ちろ
1025:１３２人目の素数さん
18/02/27 13:29:45.46 6Azy1V0O.net
劣等感婆よ地獄に落ちろ
1026:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 75日 1時間 1分 40秒
1027:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています