„Wir finden keine natürliche Zahl, die die ''Aussageform'' 2x + 3 = x +1 erfüllt.“<ref>{{Lit-Türke: Grundlegende Begriffe der Mathematik}}, Seite 23</ref>
Zeichenreihe, die mindestens eine freie Variable enthält und durch Bindung oder Belegung aller Variablen aus einem Grundbereich zu einer Aussage wird