Wir haben die ‘Wahrheitsbedingungengestellt || niedergelegt, || : || , wenn der Satz beweisbar ist, solle er falsch sein.