Lösung Aufgabe 5.02 SoSe 2017

Aufgabe 5.02 SoSe 2017 Die Axiome eines Axiomensystems sollen unabhängig voneinander sein. Was versteht man darunter? Lösung 1 Sie müssen unabhängig voneinander sein, damit man das eine Axiom nicht aus dem anderen Axiom herleiten kann und es somit beweisen kann. Lösung 2 Lösung 3