4˙22122
Führe ich durch eine Gleichung ein neues Zeichen α ein indem ich sage es solle ein bereits bekanntes Zeichen β ersetzen so schreibe ich die Gleichung Definition (nach Russell) in der Form α = β Def.