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