[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
226: 2024/06/30(日)01:09 ID:p2BM3YkJ(1/5) AAS
>>220
>カントールの往復論法
そんな名前あったんだ
ここで以外に類似の使い方
見たときない
229(1): 2024/06/30(日)09:40 ID:p2BM3YkJ(2/5) AAS
>>221
>これをずっと続けると
いつまで経ってもa_1より小さいものが現れるんだけど？
fてどんな定義？
ソートしちゃダメじゃん
ていうかc1,c2ソートしてb1,b2にて元のb2どうすんの？
ていうかそもそもfを全射にできるわけないじゃん
省1
230(1): 2024/06/30(日)09:46 ID:p2BM3YkJ(3/5) AAS
>>223
帰納的定義は許されるよ
>>225
弊害？
235(1): 2024/06/30(日)11:03 ID:p2BM3YkJ(4/5) AAS
>>232
全部合併させるだけだからね
超限帰納的でもおk
243: 2024/06/30(日)12:31 ID:p2BM3YkJ(5/5) AAS
>>229
>そもそもfを全射にできるわけないじゃん
これは言い過ぎた
そもそもfが全射になるとは限らないじゃん
で
で
番号の小さい方から選んでいけば
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s