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 t
ut; der andre Beweis zeigt,
daß dieser Ausdruck herauskommt, wenn man etwas andres
tut.
Ist denn z.B. das
mathematische Fa
ktum, 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 Fa
ktum dieses
Kalküls?