選択公理証明したｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ

1 ：１３２人目の素数さん：2019/12/12(木) 05:28:08.77 ID:gN317N69.net

選択公理がなりたつと仮定する
このとき、選択公理が成り立つ
よって選択公理は正しい

2 ：１３２人目の素数さん：2019/12/12(木) 09:03:02 ID:1Y/y+jWC.net

ちなみにマーティンレーフの直観主義型理論では選択公理がマジで証明できる

3 ：１３２人目の素数さん：2019/12/12(木) 17:42:41.64 ID:HnI6qh9Z.net

ブルバキ

4 ：ID:1lEWVa2s：2019/12/12(木) 17:55:06.94 ID:XogrJpEW.net

ぶるばきのほんきょうりつしゅっぱんかいわなみしょてんからしんしょでてんとうにおかれないかな!！?？

5 ：１３２人目の素数さん：2019/12/12(木) 19:01:54.38 ID:H3gr/kvX.net

最低限の前提で選択公理を証明する>>1の方がすごいわ

6 ：１３２人目の素数さん：2019/12/12(木) 19:21:27.46 ID:+CjFUD1z.net

関数も
各入力変数を出力に変換する無限操作だろ
なんでそっちは問題ないんだよ

7 ：１３２人目の素数さん：2019/12/12(木) 21:43:18.20 ID:m4aQznz8.net

1=2が成り立つとする
このとき、1=2が成り立つ
よって1=2は正しい

8 ：１３２人目の素数さん：2019/12/14(土) 18:16:27.43 ID:mHXx5gWj.net

{U_i}_{i∈I}を空でない集合からなる集合族とする。

i∈Iを任意の元とする。
U_iは空ではないから元が存在する。これをa(i)とする。

この関数aが条件を満たすから、選択公理が証明された。

9 ：１３２人目の素数さん：2019/12/15(日) 02:48:31.46 ID:27BVVbuw.net

a:={(i,τx(x∊U_i))|i∊I}

10 ：１３２人目の素数さん：2019/12/15(日) 15:14:26.26 ID:cCOPqgPp.net

成り立たないとする
じゃあf(x)=xも破綻するよね

11 ：１３２人目の素数さん：2019/12/20(金) 02:14:53.60 ID:yiLw1Jz8.net

1500
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です！
https://twitter.com/huwa_cororon/status/1199593474128896000
(deleted an unsolicited ad)

12 ：高添沼田エロ老義父の告発（葛飾区青戸６−２６−６）：2021/03/09(火) 08:50:11.51 ID:5gIZP/7W.net

高添沼田（葛飾区青戸６−２６−６）
●高添沼田「井口千明の息子の金属バット集団殴打撲殺を熱望します」
龍神連合五代目総長・井口千明の息子（葛飾区青戸６−２３−１６）の挑発
●井口千明の息子「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合五代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!!　糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)

●高添沼田「盗聴盗撮犯罪者の井口千明の息子の逮捕を要請します」
高添沼田の住所＝東京都葛飾区青戸6−26−6
●盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で母親の下着で自慰行為をしている井口千明の息子
井口千明の息子の住所＝東京都葛飾区青戸6−23−16
【通報先】亀有警察署＝東京都葛飾区新宿4ー22ー19　�рO３ー３６０７ー０１１０

盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で母親の下着で自慰行為をしている井口千明の息子の盗聴盗撮つきまとい嫌がらせ犯罪者／愛人変態メス豚家畜清水婆婆（青戸6−23−19）の
五十路後半強制脱糞
http://img.erogazou-pinkline.com/img/2169/scatology_anal_injection-2169-027.jpg

13 ：１３２人目の素数さん：2021/03/28(日) 01:20:52.63 ID:RHx1oRqc.net

>>6
問題あるから選択関数の存在公理が要るんだよ