Ist der Beweis der Widerspruchslosigkeit || Widerspruchsfreiheit ein || der Beweis der Brauchbarkeit des Kalküls? – Und ist, || ist es, solange dieser Beweis nicht geliefert ist || , unklar, ob der Kalkül brauchbar ist, oder unbrauchbar || nicht?