Lösung Aufgabe 4.02 SoSe 2018

Aufgabe 4.02 SoSe 2018 Die Axiome eines Axiomensystems sollen unabhängig voneinander sein. Was versteht man darunter? Lösung 1 Aus einem Axiom soll sich ein anderes nicht ableiten lassen. Lösung 2 Lösung 3