Denn aus 3 ˃ 2 kann ich zwar √3 ˃ √2 schließen, aber nicht, daß √3 größer ist als 1˙5.
Ist also a ˃ b (für reelle Zahlen) nur eine kurze Ausdrucksweise für: „die bereits entwickelte Extension von a ist größer als die || der bereits entwickelte Näherungswert von a ist größer als der entsprechende von b”?