Und zwar leistet dieser neue Beweis nicht, was man annehmen könnte, dass er nämlich den Kalkül auf eine kleinere // engere // Grundlage setzte – wie es etwa geschieht, wenn wir durch p|q p V q und non-p ersetzen, oder die Zahl der Axiome vermindern. Denn, wenn man nun sagt, man habe alle die Grundgleichungen A aus r allein abgeleitet, so heisst hier das Wort “abgeleitet” etwas (ganz) andres. (Was man sich bei dieser Versprechung erwartet, ist die Ersetzung der grossen Kettenglieder durch kleinere, nicht durch zwei halbe Kettenglieder.) Und in einem Sinne hat man durch diese Ableitungen alles beim alten gelassen. Denn es bleibt im neuen Kalkül ein Kettenglied des alten wesentlich als ein solches bestehn. Die alte Struktur wird nicht aufgelöst. So dass man sagen muss, der alte Gang des Beweises bleibt bestehen. Und es bleibt im alten Sinne auch die Unreduzierbarkeit.

464

(2015–) Wittgenstein Source Bergen Nachlass Edition (WS-BNE). Edited by the Wittgenstein Archives at the University of Bergen under the direction of Alois Pichler. In: Wittgenstein Source, curated by Alois Pichler (2009–) and Joseph Wang-Kathrein (2020–). (N) Bergen: WAB.