12/01/29 17:40:49.18
>>418
>述語論理から独立させようなんて誰も考えてないよ。
だったら圏論は述語論理の単なるマクロ集であって、共通の基盤言語だなんて言い方は
しないほうがよいのではないですか？
12/01/29 17:40:49.18
>>418
>述語論理から独立させようなんて誰も考えてないよ。
だったら圏論は述語論理の単なるマクロ集であって、共通の基盤言語だなんて言い方は
しないほうがよいのではないですか？
12/01/29 17:40:49.18
>>418
>述語論理から独立させようなんて誰も考えてないよ。
だったら圏論は述語論理の単なるマクロ集であって、共通の基盤言語だなんて言い方は
しないほうがよいのではないですか？