その「自己と自己言及を区別する矛盾の起こらない論理」の具体像が気になる
うろ覚えだけど「型」を持ち込んで、プリミティブ、そのメタ、さらにそのメタ、みたいにして、全ての事象を等しいレベルで扱うのをやめるんだっけ
そんなに正しい新しい論理を社会が、あるいは教育界が、あるいは数学界とかが諸手を挙げて歓迎しないのはなぜ？