12/02/04 21:27:37.21
>>501
勉強になる
>トポスの重要な性質をすべて（上述の言語による）一階述語論理で記述できた
これはFOLの記述力から自明じゃないかと思うんだが？
12/02/04 21:27:37.21
>>501
勉強になる
>トポスの重要な性質をすべて（上述の言語による）一階述語論理で記述できた
これはFOLの記述力から自明じゃないかと思うんだが？
12/02/04 21:27:37.21
>>501
勉強になる
>トポスの重要な性質をすべて（上述の言語による）一階述語論理で記述できた
これはFOLの記述力から自明じゃないかと思うんだが？