0267132人目の素数さん垢版 | 大砲2024/04/28(日) 17:31:56.46ID:7ZCPRfd4 >>266 ない “証明不可能”であっても“真偽値”は割り当てられているのが現代数学の大前提 その大前提の元に現代数学は整備されている その大前提を認めない議論をしたいなら、それと同じレベルの基礎論の整備から始めないといけない 現時点ではそんな議論はない 加藤先生はその必要性を認めてるけどなんもやってない 望月先生は諦めて新路線模索中らしいがまだ見つけてない