[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
382(2): 童貞食い 2024/12/08(日)08:44 ID:xRDzNQTz(8/15) AAS
>選択公理で存在が言えれば、存在例化で固定できると言ったけれど
>その実、ある議論の中だけ。
議論の外なんかないけど
プレイの外がないの同じね うふ
>議論が終われば、元の存在のみの選択公理よる存在主張に戻るんだ
存在を公理で前提すれば、定理の証明で存在例化が使える
しかも存在する元に一つしか名前を付けなければ、議論の中ではその一つしかない
それだけのことよ
一つしかない名前を二つ以上の対象が同時に兼用できると思うのは
ＡＶだけ見て自分は百戦錬磨の女たらしだと思い込む童貞だけ
385: 童貞食い 2024/12/08(日)09:02 ID:xRDzNQTz(9/15) AAS
>>381 公理系が一階述語論理上で矛盾する場合、公理系を維持したまま論理を弱めることは通常しない
>>382 動画を見たけど、存在例化が正当であるという内容
箱入り無数目の場合、選択関数に１つしか名前を付けてないから、２つ以上あるという童貞君の異義は却下
ホント、あなたって女も数学も知らないのね カワイイ
388: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/12/08(日)09:16 ID:ynttxdFV(5/12) AAS
>>382
>>選択公理で存在が言えれば、存在例化で固定できると言ったけれど
>>その実、ある議論の中だけ。
> 議論の外なんかないけど
> プレイの外がないの同じね うふ
オチコボレおサルさんの ”やり手婆”かい？
ふふふ
例えば、ある人が ある証明の中で 和の記号Σの添え字に i を使ったとする
でも Σ i=1〜n とか書いても
それは、その証明の中だけ
省17
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s