Es wäre beinahe ein Argument zu sagen: Wenn es in den Gesetzen ein größer & kleiner gibt & in den Stadien der Extension, dann gäbe es einen doppelten Größenvergleich der Zahlen. Den kann es nicht geben, also kann es in den Gesetzen kein || nicht größer & kleiner geben.