Prädikatenlogik/Gleichheitstautologien/Axiom/Korrektheit/Fakt