- 1 名前：１３２人目の素数さん [2024/11/12(火) 21:48:51.32 ID:ova7e0tZ.net]
- 公理まで遡ってすべての定義・命題を厳密に記述・証明しなければ、正しいとは言えないはず
もし、公理まで遡る途中の定義・命題を認めても問題なく数学が出来るなら、それを公理とすればいいのでは？
- 357 名前：通りすがりの渉 mailto:sage [2024/12/06(金) 21:18:39.49 ID:nXdr98bD.net]
- 333 名前：１３２人目の素数さん[sage] 投稿日：2024/11/03(日) 15:45:50.06 ID:hfXLpYXn [19/27]
蛇足
自分（教師）：一応某大学数学科卒 可解性の意味が最近になってやっとわかったｗ
0977 １３２人目の素数さん 2024/11/11(月) 16:21:12.44
今まで犯した罪を、これから償うつもりだ
- 358 名前：１３２人目の素数さん mailto:sage [2024/12/07(土) 06:17:20.81 ID:DW9ToRQi.net]
- >可解性の意味が最近になってやっとわかった
可証性はもっと前から分かってたけどな
- 359 名前：１３２人目の素数さん [2024/12/07(土) 08:55:56.24 ID:5RVXVvk7.net]
- 未だに勉強してるってことじゃん
誰かさんと違って
- 360 名前：１３２人目の素数さん [2024/12/07(土) 11:02:05.31 ID:5RVXVvk7.net]
- >ZFCの集合の本質には、影響しない
>だったら、ZFCの公理系とは抵触しない
>それなら許容されるよ
こんな馬鹿丸出しのこと言う誰かさんも少しは勉強すべき
|
 |
