MDLUL/Substitutionsaxioms

MDLUL/Substitutionsaxioms

Start=Substitutionsaxioms

Siehe=Substitutionsaxiom
MDLUL/Substitutionsaxiom
Ziel=Prädikatenlogik/Gleichheitstautologien/Axiom