arai_no_math https://blog.hatena.ne.jp/arai_no_math/ 数学してよアライㄜん https://arai-no-math.hatenablog.jp/ 数学 実数 公理的集合論 ZFC 他のけものが実数の公理を見て「当たり前のことが書いてあるけど公理って何？」から「公理と定義の違いがわからない」ってなってたからその解説も込めて公理に関する雑感を書くのだ数学の教科書一般のちょっとあやふやな公理を解釈するためにこの文章は書かれたのだ。ここでの「公理」は正確な基礎論の公理じゃないのだ。基礎論のけものにこれを話したら怒られちゃうから注意するのだ断っておくけどアライㄜんもただの学部生なのだ。悪い点あったら指摘をお願いしますのだ TL; DR (長すぎて読めない人へ) 公理はもともと各々が「主にその分野で議論する対象について」「無条件で正しいとする」命題なのだ 公理が正しくて十分なんて誰… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Farai-no-math.hatenablog.jp%2Fentry%2F2019%2F06%2F28%2F012114" title="公理雑感 - 数学してよアライㄜん" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2019-06-28 01:21:14 rich https://arai-no-math.hatenablog.jp/entry/2019/06/28/012114 1.0 100%