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