- 589 名前：現代数学の系譜11 ガロア理論を読む [2013/03/24(日) 06:12:10.14 ]
- >>588
なんかおかしくない？
>証明されてない(or できない)議論の前提(仮定)を公理と書いている。
それ単に”仮定”じゃだめか？
公理は下記だが
ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86
公理（こうり、Axiom）とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。
一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系（Axiomatic system）という。
公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。
多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。
（引用おわり）
公理というと大きな理論体系中の最も基本的な仮定という意味になるよ
>>証明できる？ 証明できなきゃ、選択公理と同じ。真か偽かは言えないよ
>仮に膨張が有限で物理空間の濃度が有限な巨大数(ex. グラハム数など)
>あるいは無限でも濃度がAleph_0で連続体濃度と結びつかないとしても
>実証はできないだろう。
茶化しているのがわかんねーか？
”証明できる？”はジョークだよ。数学的証明なんかできるわけないでしょ？
つづく
|
 |
