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

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

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

ブルバキ

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

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

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

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

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

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

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

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

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

1500
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です！
https://twitter.com/huwa_cororon/status/1199593474128896000
https://twitter.com/5chan_nel (5ch newer account)

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

●高添沼田「盗聴盗撮犯罪者の井口千明の息子の逮捕を要請します」
高添沼田の住所＝東京都葛飾区青戸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

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