m n
27
m
grösser als
13
n
kann ich allerdings definieren als
(∃x) m ‒ n = x
13 + x = 27

(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,
heißt
wenn
m ‒ n nach der Subtraktionsregel eine Zahl ergibt.

✓ / \ ?