1.6.
Gibt es einen Satz, der sagt, daß, wenn etwas in
Russells System
bewiesen (nicht:
‘beweisbar’) ist, daß es
wahr
ist?
Aber “bewiesen” ist
zeitlich, “beweisbar” ist unzeitlich.
Soll ich also sagen “beweisbar”, aber
mit
der Bedingung, daß als Beweis der Beweisbarkeit von
p
nur der
Russellsche Beweis von
p
gilt?