12/02/04 13:27:08.40
>>473
>かなりの部分は一階述語論理の直上のものとして理解できる
とすると、ZFC その他一階述語理論としての集合論と同じく、
一階述語理論としての圏論がある筈だけど、そんなん聞いたことないぞ
12/02/04 13:27:08.40
>>473
>かなりの部分は一階述語論理の直上のものとして理解できる
とすると、ZFC その他一階述語理論としての集合論と同じく、
一階述語理論としての圏論がある筈だけど、そんなん聞いたことないぞ
12/02/04 13:27:08.40
>>473
>かなりの部分は一階述語論理の直上のものとして理解できる
とすると、ZFC その他一階述語理論としての集合論と同じく、
一階述語理論としての圏論がある筈だけど、そんなん聞いたことないぞ