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