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 sage || 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.)