MDLUL/Gleichheitsaxiome

Start=Gleichheitsaxiome

MDLUL/Gleichheitsaxiome

Ziel=Prädikatenlogik/Gleichheitstautologien/Axiom