Ist der Beweis der Widerspruchslosigkeitfreiheit
der
einc
Beweis der Brauchbarkeit des Kalküls? – Und
ist es,
ist,
solange dieser Beweis nicht geliefert

ist
, unklar, ob der Kalkül brauchbar oder ist, oder
nicht
unbrauchbar
?