Prädikatenlogik/Gleichheitstautologien/Axiom/Korrektheit/Fakt

< Prädikatenlogik/Gleichheitstautologien/Axiom

Die Gleichheitsaxiome

sind korrekt.

Zum Beweis, Alternativen Beweis erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Prädikatenlogik/Gleichheitstautologien/Axiom/Korrektheit/Fakt&oldid=842671“