Eine Aussageform ist ein Ausdruck in Variablen der zu einer Aussage wird wenn alle darin vorkommenden Variablen durch konkrete Objekte ersetzt werden. Diese Objekte müssen aus einer geeigneten Grundgesamtheit kommen.