Wir haben, z.B., das kommutative Gesetz für [die|das] Multiplizieren mit im Dezimalsystem rekursiv bewiesen: & nun finden wir eine Multiplikation (etwa eine sehr lange), für die a × b nicht dasselbe wie b × a ergibt. – (Der Raum, in dem die Rechnungen vor sich gehen ˇ– könnten wir annehmen – wäre gleichsam kein gerader.)
  Was sollten wir
nun tun? Nun die Anwendung der Rechnung würde sich andern.