23/12/13 10:59:24.23 BJtZkva3.net
>>428-430
> どこから一階論理が出てきた？
> ゲーデルの不完全性定理は自然数論の定理だよ 分かってる？
いい質問ですね
その答えは下記です
１）一階述語論理は、単純で扱いやすい。基礎論向きだが、表現力に問題あり
２）「近年、二階述語論理は一種の回復の途上にある」下記
（二階述語論理の問題点をおさえて、使える論理を作ろうと。「計算複雑性理論への応用」があるらしい）
なお、私見だが普通人は数学を、一階述語論理そのものでは考えていないと思う
ただ、論文を書くときは、一階述語論理を主に使うのだが、しかし厳密な一階述語論理に縛られない
グロタンディークは、それじゃない？ 「おれ、一階述語論理には縛られないぞ」じゃないかな？
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
一階述語論理（英: first-order predicate logic）
本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細はそれぞれの記事を参照。
一階述語論理の表現力
一階述語論理は、数学のほぼ全領域を形式化するのに十分な表現力を持っている。実際、現代の標準的な集合論の公理系 ZFC は一階述語論理を用いて形式化されており、数学の大