4.241
Gebrauche ich zwei Zeichen in ein und derselben Bedeutung, so drücke ich dies aus, indem ich zwischen beide das Zeichen „=“ setze. „a=b“ heißt also: das Zeichen „a“ ist durch das Zeichen „b“ ersetzbar. (Führe ich durch eine Gleichung ein neues Zeichen „b“ ein, indem ich bestimme, es solle ein bereits bekanntes Zeichen „a“ ersetzen, so schreibe ich die Gleichung – Definition – (wie Russell) in der Form „a=b Def.“. Die Definition ist eine Zeichenregel.)