>>393
>公理化する必要というものがあった。
そこは否定しません
>>396
>ゲーデルの理論
数理論理学的にはともかく哲学的な価値はないな
他の数学における価値もさほどないかも