Lösungsversuch Aufgabe 4.1
--Ridcully 20:46, 17. Nov. 2012 (CET)
Ich würde B ergänzen dadurch, dass lediglich Axiom 1.3 nicht erfüllt ist, und auch dies nur, wenn koll(A,B,C,D) (falls man das so schreiben kann) --GMohezre 19:07, 18. Nov. 2012 (CET)