あ、それとも「のであれば」ってのがおかしいって事？
「証明可能か反証可能かのいずれかになる」としても問題として成り立つわけじゃないって事？