>>340
難しいな…とりあえず証明とはちがう、だけわかりました。

しかしながら「公理を勝手に決めてよい」にはやはり違和感も残りますね。
>>335のようなこともありますし、今日は木曜か日曜かと聞かれたら、木曜だと答え仕事に出るでしょう。

「公理を勝手に決めてよい」は理解できるのですが、やはり実際に使う上では論理＋α的なものが
必要だと感じます。

思うに、「公理を勝手に決めてよい」は、建前みたいな物ではないかと。（注１）
本音の部分では公理や定義や正しさは、何がしかの基準があるような気がします。
うまく表現できてないですけど、なんとなくわかっていただけるでしょうか。
その曖昧な基準というものを、文章化してみたいです。
近いうちに書きます。また検証（論破?）お願いいたします。

（注1　建前というか、理論上、というべきでしょうか）