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?