>>817
数学基礎論-wiki

> 厳密な論理によって構成される数学は、発展するに従って自分自身をも厳格に定義する方向へと進み、多くの数学者・論理学者がその夢に心血を注いだ。
> 数学を論理学の上に基礎づける論理主義はフレーゲの独創的な仕事に始まるが、この計画はラッセルの発見したパラドックスによって頓挫する。
…
> ヒルベルトは、数学を記号によるゲームとみなして無矛盾性を証明する形式主義によるヒルベルト・プログラムを提唱したが、ゲーデルの不完全性定理によって、その実現の不可能性が示された。
> また、数論を展開するのに十分な体系に見えるペアノの公理系では証明できないグッドスタインの定理など、特定の公理系では証明も反証もできない問題が数多く見いだされた。

よりによってゲーデルその他の数学者によって不可能であるとされた数学基礎論を持ち出して数学基礎論を知らない？？？
不完全性定理を理解できないまでもその不完全性定理によって数学基礎論は当初の目論みと異なるものになったことくらいは理解できているが？
ようはある範囲で公理というルールを決めましょう、その公理は他には関係しないと割り切りましょう、それがたとえばプログラミングというだけさ。
プログラミング言語は種類が異なるコンパイラーではコンパイル出来ない=その範囲でしか公理は成立しない。
お前のプログラミング習得がはhello world止まりと言うのがよく分かったよ。
てめえのブーメランはどんだけ強烈なんだろうね？？？

ガスタービンはディーゼル暖機によって0rpmノンゼロトルクニダキリーーーーーッという程度のオツムは親譲り？？？
ターボを内燃機関とは言わない。

> 邪推デタラメ解釈もここまで来ると病気だな
心の病気に加えて親譲りの頭の悪さという病気もあるマツダチンパンをそんなに貶しちゃあかんよ、サル…