Wie müssen denn, z.B., die Definitionen ausschauen, die die Zahlzeichen 1, 1 + 1, 1 + (1 + 1), 1 + (1 + (1 + 1)) etc i[m|n] die des Dezimalsystems überführen? Die Zeichenerklärungen, die hier nötig sind kann man freilich in ˇder Form von Definitionen (i.e. Gleichungen) niederschreiben legen; aber sind sie damit auch ebenso zu verwenden wie etwa “~p ⌵ q [| = ] p ⊃ q”? // aber werden diese nun
auf gleiche Weise
auch ebenso
verwendet wie … //