28.1.
Es wäre natürlich Unsinn zu sagen, daß ein Satz
nicht mehrere || zwei Beweise haben kann – denn so sagen wir eben. Aber kann man nicht sagen: Dieser Beweis zeigt daß … herauskommt, wenn man das tut; der andre Beweis zeigt, daß dieser Ausdruck herauskommt, wenn man etwas andres tut.
     Ist denn z.B. das mathematische Faktum, daß 129 durch 3 teilbar ist, unabhängig davon, daß dies Resultat bei dieser Rechnung herauskommt? Ich meine: ist das Faktum dieser Teilbarkeit unabhängig von dem Kalkül vorhanden, in dem || besteht das Faktum dieser Teilbarkeit unabhängig von dem Kalkül, in dem es sich ergibt; oder ist es ein Faktum dieses Kalküls?