HOME TOP UP PREV NEXT ENGLISH MAP Logisch-philosophische Abhandlung 4.241
"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.)
HOME TOP UP PREV NEXT ENGLISH MAP Logisch-philosophische Abhandlung 4.241