>>442
メリット論が数学基礎論の成果だという根拠は?