Lösung Aufgabe 5.03 SoSe 2017

Aufgabe 5.03 SoSe 2017 Die Axiome eines Axiomensystems sollen widerspruchsfrei sein. Was versteht man darunter? Lösung 1 Wenn ein Axiom ein anderes widerlegt, es also im Widerspruch steht, so widerrufen sie sich. Das eine Axiom hebt also das andere auf. Lösung 2 Lösung 3