MDLUL/Substitutionsaxiom

Start=Substitutionsaxiom

MDLUL/Substitutionsaxiom

Ziel=Prädikatenlogik/Gleichheitstautologien/Axiom