Verwandeln wir einen Bestandteil eines Satzes in eine Variable, so giebt ⌊⌊es eine⌋⌋ Klasse von Sätzen welche sämtlich Werte des so entstandenen variablen Satzes sind. Diese Kl[ä|a]sse hängt im allgemeinen noch davon ab, was wir, nach willkürlicher Übereinkunft mit Teilen jenes S[ä|a]tzes meinen. Verwandeln wir aber alle jene Zeichen in Variable, deren BedeuVerwandelntung willkürlich

bestimt festgelegt

wurde, so giebt 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.