m ˃ n kann ich allerdings definieren (∃x) n + x = m, aber ob nun x = m ‒ n eine Zahl ergibt, weiß ich nur wenn ich die Subtraktionsregel kenne & diese vertritt hier die Regel der Bestimmung von größer & kleiner. Diese Regel heißt, so formuliert: m ist größer als n wenn m ‒ n nach der Subtraktionsregel eine Zahl ergibt.