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