>>383
それでは数学のように数理論理が必要不可欠であることを示してください、という話に戻りますね