Die ''Allgemeingültigkeit'' ist also ein spezieller Fall der Erfüllbarkeit einer Formel.<ref>{{Wikipedia|Allgemeingültigkeit}}</ref>
''Logik, ohne Plural:'' die Eigenschaft einer Formel [[allgemeingültig]], also unter jeder Belegung wahr zu sein