[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋9 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
245(2): 2023/09/02(土)12:39 ID:7Mhd9jNy(13/26) AAS
>>236
>>選択公理が保証するのは、任意の集合族から一つずつ元を選ぶこと（それで新しい集合ができる）
>>公理だから、それ以上はなにも言わない。
>公理が言ってなくても公理から自明に帰結される。
>ちなみに「任意の集合族」ではなく「空でない任意の集合の族」ね。
１）公理から、公理を組み合わせて命題を導くことができる
それは普通は、定理なり、たまに補題とか言われる
それは、公理とは峻別されるべき！
２）”「任意の集合族」ではなく「空でない任意の集合の族」”だね
重箱の隅の訂正ありがとう！ 君は正しいことを、一つだけ言ったｗｗｗ
247: 2023/09/02(土)13:03 ID:4wXfjkZB(30/58) AAS
>>245
> それは普通は、定理なり、たまに補題とか言われる
> それは、公理とは峻別されるべき！
「選択公理を認めるなら固定された代表系の存在が保証される」
であって
「選択公理は固定された代表系の存在を保証する」
ではない
勝手に敵作って勝手に戦って勝手に勝ち誇るのやめてもらえませんか？
248: 2023/09/02(土)13:05 ID:4wXfjkZB(31/58) AAS
>>245
>２）”「任意の集合族」ではなく「空でない任意の集合の族」”だね
> 重箱の隅の訂正ありがとう！
数学は重箱の隅に気を付けないとおサルのように間違えてばかりになる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s