Prädikatenlogik/Gleichheitsaxiome/Mehrfache Substitution/Fakt/Beweis