>>334
「試し」にすらなってないんだけどな。
君の証明は、二元以上を含む集合の相異なる元に
1, 2 って名前をつけたら 1 ≠ 2 だ、って言ってるに過ぎない。
エッセンスも何も、ほとんどトートロジーだよ。

まあ本題じゃないからどうでもいいけど
何を仮定して何を示そうとしてるかくらい意識してないと苦労するぜ。