Start=Gleichheitsaxiom

MDLUL/Gleichheitsaxiom

Ziel=Prädikatenlogik/Gleichheitstautologien/Axiom