大学学部レベル質問スレ 27単位目

[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

283: 2024/07/02(火)11:13 ID:Wobgs9b3(1/5) AAS
>>272
>∀x (x < x でない) ことを証明しなければなりません。
<の定義が与えられたらすぐと思うよ
その本でのは？

285(1): 2024/07/02(火)12:36 ID:Wobgs9b3(2/5) AAS
>>284
ならx∈xとなれば無限降下列ができて集合じゃ無いからでお仕舞いでは？

287(2): 2024/07/02(火)12:44 ID:Wobgs9b3(3/5) AAS
あるいは
x<x∈Nである集合xの全体を考えると
空でなければ最小があるけれど
0<0は成り立たないのでxは0でなくて
x=y+1とするとy<yも成立するから矛盾とかでも？

288: 2024/07/02(火)12:46 ID:Wobgs9b3(4/5) AAS
>>286
じゃあまあ頑張ってね
ZFCを何処まで弱めて何が言えるかは
アブストラクトナンセンスの典型じゃないかなと思うので
考える気力沸かないなあ

294(1): 2024/07/02(火)15:42 ID:Wobgs9b3(5/5) AAS
>>292
段々1/eになっていく総和だから発散