Ich kann
„die Summe von
ξ und
η”
(„ξ + η”)
als
das || die Zahl
ζ definieren
(oder: „den
Ausdruck” – wenn wir uns scheuen das
Wort Zahl zu gebrauchen) – ich kann
„ξ + η” als die Zahl
ζ definieren, die den Ausdruck
δ tautologisch macht; –
ich || man kann aber auch
„ξ + η”
, z.B., durch den Kalkül
B definieren (unabhängig von dem der Tautologien)
& nun die Gleichung
(Еξ)(Еη
⊃ (Еξ + η) =
Taut.
beweisen || ableiten.