「公理系」とはどういう考え方か。「公理系」とはどういう考え方か。ゲーデルの不完全性定理の誤用例2014-12-27「公理系」とはどういう考え方か。26こういうの、ツイッターとかでかるく揶揄されるだけで終わっちゃうのもったいない。この記事、現時点では「公理」でグーグル検索して上から四番目に来てる。「『公理』ってなに?」って思った人がよりよい情報にアクセスしやすくなるよう、記録に残しておきたい。思って僭越ながらぼくが筆を取る。(ゲーデルの不完全性定理とかまったく理解してないけどな)公理と定義と定理の違い公理とか定義とか定理という言葉は、知ってる人からは知ってて当然、という扱いをされてしまうのでちゃんと説明される機会が少ない。いった「知ってて当然」扱いをされてしまうことがらをきちんと説明してくれる資料があった。(pdf)(この資料、ギリシア文字や筆記体、ボールド体の書き方から始まるのがすばらしいと思う。どっからきてんの?」って聞かれてみてみたらカイ二乗だったこととかあるし、数学やる人いっかいギリシア文字全部書いてみたほうがいいですよ。いずれも命題(proposition)である。