Prädikatenlogik/Syntaktische Tautologien/Aussagenlogik/Implikation, Negation, Konjunktion/Axiom
Zu einem beliebigen Symbolalphabet und beliebige Ausdrücke legt man folgende (syntaktische) Tautologien axiomatisch fest.
und
Zu einem beliebigen Symbolalphabet und beliebige Ausdrücke legt man folgende (syntaktische) Tautologien axiomatisch fest.
und