1.) Zeichenreihe, die mindestens eine freie Variable enthält und durch Bindung oder Belegung aller Variablen aus einem Grundbereich zu einer Aussage wird
Beispielsätze mit AUSSAGEFORM
1.) „Wir finden keine natürliche Zahl, die die Aussageform 2x + 3 = x +1 erfüllt.“