Wenn ich
früher sagte, die Definition von ξ.𝒥.η kann
man nicht verstehen,
„wenn man nicht schon die linke Seite der Definition in dem
neuen System sieht”, so heißt das eigentlich nicht mehr,
als daß die beiden Seiten zusammen
ein Zeichen
bilden. Daß sie nur mit Beziehung auf einander
(
& nicht einzeln) Bedeutung haben.
Und dasselbe gilt, wenn es heißt „Fa, und
a ≝
f(b) ist” oder „Fa, wo
a ≝
f(b) ist”. Auch hier bilden
Fa & die Definition
wirklich
ein Zeichen, – oder, richtiger & ohne
Mythus: sie gehören zusammen & ich hätte ja
auch schreiben können:
F(a) ≝
F(f(b)).