0272132人目の素数さん垢版 | 大砲2024/04/28(日) 18:11:19.43ID:9CYAssOL >>267 >“証明不可能”であっても“真偽値”は割り当てられているのが現代数学の大前提 >その大前提の元に現代数学は整備されている コーエンによる一般連続体仮説の非決定性の証明は 貴方が考える現代数学の大前提の否定ってこと? ABC予想は一般連続体仮説とは違うってこと? その根拠は?