26/08/01 12:04:14.36 CW+trfCW.net
>>722
>そう近視眼的な見方は、よろしくないね
見方なるものでごまかそうとしても無駄
> つまり、カントール集合論があってこそ、公理的集合論が生まれたことと
何の言い訳にもなってない
> カントールが得ていた集合論の結論（定理）は、矛盾なく公理的集合論で再現されたこと
はい、大間違いです。
素朴集合論は矛盾しているから任意の命題φが素朴集合論の定理。一方φも￢φも公理的集合論の定理であるようなφはただの一つも見つかっていない。
カントールが得ていないと言いたい？彼は矛盾に気付いていたよ。
>・ZF集合論などが常用する記号による主に一階述語論理は
> 出来上がった定理証明や 理論展開用には 優れている面はあるが
> まだ 海のものとも山のものともつかぬ対象を考えていくのには向かない
>（つまり、これから新しい数学理論を作っていくときは、自然言語がベースになる）
何の言い訳にもなってない