たとえば、「負数と負数を掛けると正数になるのはなぜ?」
と言う質問の答えは「そうなるように定義したから」だが、
そう定義すると便利になるという合理的な理由がある。

確かに「証明可能か?」という質問は意味が無いが
「その定義に数学的合理性はあるか?」という質問なら
議論の余地があるんでない?