11/11/01 06:37:38.03
>>104
>一般には、述語論理は、この公理系の言語を含むものに拡大されていることになる。
それはその通りだし、可算な言語からはみ出ないと限定してもいいけど、
その場合でも、自明で基礎的な算術だけで証明できるわけじゃないでしょ？
11/11/01 06:37:38.03
>>104
>一般には、述語論理は、この公理系の言語を含むものに拡大されていることになる。
それはその通りだし、可算な言語からはみ出ないと限定してもいいけど、
その場合でも、自明で基礎的な算術だけで証明できるわけじゃないでしょ？