じゃあ「順序づけ」をどう定義できるか、という問題になるよね。それは。
つまり「足す」を別の言葉に言い換えた例と同じ。
Permalink | 記事への反応(1) | 00:31
ツイートシェア
順序付けは順序付けの公理を満たせばおｋでしょう。 ある集合Aとその任意の元a,b,cについて a<=a a<=bかつb<=cならa<=c a<=bかつb<=aならa=b が成り立てばよい。 自然数の集合...
4
