19/05/04 08:14:52.31 D+HijsE5.net
結局、既存の数学でのオーソドックスな論理でやれるって触れ込みだったけれど、
実は違って、新しい論理としてありかなしか、基礎論的な論争に持ち込もうという
ことなんだろうか。
俺はそれならそれでありだと思うけれど。最初から言えよ感はあるけど。
19/05/04 08:14:52.31 D+HijsE5.net
結局、既存の数学でのオーソドックスな論理でやれるって触れ込みだったけれど、
実は違って、新しい論理としてありかなしか、基礎論的な論争に持ち込もうという
ことなんだろうか。
俺はそれならそれでありだと思うけれど。最初から言えよ感はあるけど。