◇◇◇ m grösser als n kann ich allerdings definieren (Ex).n + x = m, aber ob nun x = m ‒ n eine Zahl ergibt, weiss ich nur, wenn ich die Subtraktionsregel kenne und diese vertritt hier die Regel der Bestimmung von grösser und kleiner. Diese Regel heisst, so formuliert: m ist grösser als n, wenn m ‒ n nach der Subtraktionsregel eine Zahl ergibt.