Ich kann „die Summe von ξ und η” („ξ + η”) ˇals d[as|ie] ˇ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; –
man
ich
kann aber ˇauch „ξ + η” auch, z.B., durch den Kalkül B definieren (unabhängig von dem der Tautologien)
& nun die Gleichung       (Еξ)(Еη ⊃ (Еξ + η) = Taut. beweisen [ ableiten ] .