In der Logik scheinen wir es
wohl
(zwar)
mit ‚allen Sätzen’ zu tun zu haben. Aber wir konstruieren nur einen Kalkül & überlassen die Anwendung sich selbst.