>>736
素朴な説明として差が無いから同じもの（不可識別者同一）と言いたいのなら
それは背理法ではない。
イプシロンデルタでも同様に定義からそのまま演繹して出てくる。

>>742
始めってのは>>716-717のこと。
とりあえず、そうすると>>720が説明として変だってことだね。