なぜ、ZFC公理まで遡らなくても数学が出来るの？ (117ﾚｽ)
上下前次1-新
98(2): 11/20(水)11:06 ID:dQKCe6W8(2/9) AAS
>>1
>なぜ、ZFC公理まで遡らなくても数学が出来るの？
>公理まで遡ってすべての定義・命題を厳密に記述・証明しなければ、正しいとは言えないはず
>もし、公理まで遡る途中の定義・命題を認めても問題なく数学が出来るなら、それを公理とすればいいのでは？
・逆数学：通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である
・構成的解析：Constructive analysis
下記を
貼っておきます
(参考)
ja.wikipedia.org/wiki/%E9%80%86%E6%95%B0%E5%AD%A6
省7
上下前次1-新書関写板覧索設栞歴
あと 19 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.003s