widerspruchsfrei & unabhängig < Topologie+Geometrie < Hochschule < Mathe < Vorhilfe
|
Aufgabe | Zeigen Sie, dass aus dem Axiomensystem der affinen Inzidenzebene durch Hinwegnahme von (I2) ein widerspruchsfreies und unabhängiges System entsteht. |
Hallo!
Ich komme mit dieser Aufgabe leider überhaupt nicht zurecht.
Widerspruchsfrei bedeutet ja, dass ein Modell für das Axiomensystem existiert. Und das Axiomensystem ist unabhängig, wenn jedes einzelne Axiom unabhängig ist.
Aber wie beweise ich das? Kann mir vielleicht jemand helfen?
Danke schonmal.
LG, Coffein 18
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 23:20 Di 03.11.2009 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|