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 Algoritmus.