Wie müssen denn, z.B., || – z.B. – die Definitionen ausschauen, die die Zahlzeichen 1, 1 + 1, 1 + (1 + 1), 1 + (1 + (1 + 1)) etc. in 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 || niederlegen; aber sind sie damit auch ebenso zu verwenden wie etwa “~p ⌵ q = p ⊃ q”? || aber werden diese nun auch ebenso || auf gleiche Weise verwendet wie etwa “~p ⌵ q = p ⊃ q”?