[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
277(1): 2024/07/02(火)10:33 ID:8e/gxRJc(6/21) AAS
田中一之、鈴木登志雄著『数学のロジックと集合論』
この集合論の紹介的な本で↓を証明していないのは結構面倒だからではないかと思います。
m < n ∨ m = n ∨ n < m の一つのみが成り立つ。
278: 2024/07/02(火)10:35 ID:1VP938GM(2/2) AAS
>>277
お前って人に感謝できるようになったん？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s