＞ というかアリストテレスって数学と論理学の足を引っ張ったと言われてる哲学者ですけどね。
アリストテレスがいなければ、フレーゲの述語論理はうまれていませんよ。
それだけではないです。およそすべての学問の基礎をつくったと考えられるわけです。
定義、公理、証明の必要性を示し､帰納法と演繹法の使い方を教え、形式論理を整備
したのではないですか。ちなみにほかの文化圏（中国、インドなど）では形式論理は
うまれていません。

たとえば、「すべての人は色白である」
の否定を「ある人は色白でない」
と、しかも形式的な形で（人とか色白という具体性をはなれて）しめしたのはアリスト
テレスが最初です。

>>68
話しが、拡散しすぎていますので、ゲーデルのはなしは終了とさせていただきます。
ごめん。
この話題はみずかけ論になってしまうでしょうから。

>>69-70
数学に役にたつのじゃないかとおもっているので。