Verwandeln wir einen Bestandteil eines Satzes in eine Variable, so gibt es eine Klasse von Sätzen welche sämtlich Werte des so entstandenen variablen Satzes sind. Diese Klasse hängt im allgemeinen noch davon ab, was wir, nach willkürlicher Übereinkunft mit Teilen jenes Satzes meinen. Verwandeln wir aber alle jene Zeichen in Variable, deren Bedeutung willkürlich festgelegt || bestimmt wurde, so gibt es nun noch immer eine solche Klasse. Diese aber ist nun von keiner Übereinkunft abhängig sondern nur noch von der Natur des Satzes. Sie entspricht einem logischen Urbild – einer logischen Form.