>>709つづき

前提条件の上に理論を構築するという話と、
前提条件が正しいかどうかを証明するというのが、

ごっちゃになってるよね？

前提条件に設定された＝正しいじゃないからね？