18/12/12 17:00:27.58 PqXYaj7p.net
>>331
厳密には自己矛盾というか、ナンセンスだね。手続き不能な論理に見えるということ
そりゃそうだろう、明らかに通常の集合論とは異質な論法なのだから
重要なのは圏論的な範疇は守っていることだよ
文元が好意的なのも思想的必然だよね
かつてのカントールみたいなもんかもしれないのだから
18/12/12 17:00:27.58 PqXYaj7p.net
>>331
厳密には自己矛盾というか、ナンセンスだね。手続き不能な論理に見えるということ
そりゃそうだろう、明らかに通常の集合論とは異質な論法なのだから
重要なのは圏論的な範疇は守っていることだよ
文元が好意的なのも思想的必然だよね
かつてのカントールみたいなもんかもしれないのだから