6˙23 ...
Hiermit wäre übrigens der Gesichtspunkt angedeutet nach welchem die mathematische Logik von der Mathematik zu scheiden wäre. Freilich liegt der Unterschied nur im Algorithmus.