5.452
Die Einführung eines neuen Behelfes im Symbolismus der Logik muß immer ein folgenschweres Ereignis sein. Kein neuer Behelf darf in die Logik – sozusagen, mit ganz unschuldiger Miene – in Klammern oder unter dem Striche eingeführt werden.
(So kommen in den „Principia Mathematica” von Russell und Whitehead Definitionen und Grundgesetze in Worten vor. Warum hier plötzlich Worte? Dies bedürfte einer Rechtfertigung. Sie fehlt und muß fehlen, da das Vorgehen tatsächlich unerlaubt ist.)
Hat sich aber die Einführung eines neuen Behelfes an einer Stelle als nötig erwiesen, so muß man sich nun sofort fragen: Wo muß dieser Behelf nun immer angewandt werden? Seine Stellung in der Logik muß nun erklärt werden.