12/02/05 19:50:34.43
>集合論が数学の基礎だというのはまあ違和感はない。
>述語論理上の最小限の言語だろう。
どういう意味で最小限と言っているの？
集合論より大きくない述語論理の言語は存在するのだから最小ではないと思うけど？
12/02/05 19:50:34.43
>集合論が数学の基礎だというのはまあ違和感はない。
>述語論理上の最小限の言語だろう。
どういう意味で最小限と言っているの？
集合論より大きくない述語論理の言語は存在するのだから最小ではないと思うけど？
12/02/05 19:50:34.43
>集合論が数学の基礎だというのはまあ違和感はない。
>述語論理上の最小限の言語だろう。
どういう意味で最小限と言っているの？
集合論より大きくない述語論理の言語は存在するのだから最小ではないと思うけど？