Lösung von Aufg. 12.5 S: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
| Zeile 4: | Zeile 4: | ||
<br /> | <br /> | ||
[[Kategorie:Einführung_S]] | [[Kategorie:Einführung_S]] | ||
| + | |||
| + | Statt "gibt es genau ein" muss in der Euklidischen Geometrie "höchstens eine" stehen, da es so nicht unabhängig wäre und dies würde den Ansprüchen an ein Axiom widersprechen. --[[Benutzer:Sissy66|Sissy66]] 15:07, 13. Jul. 2012 (CEST) | ||
In 12.3 haben wir die Existenz dieser Geraden bewiesen. Mit dem Wort "genau" eine Gerade lässt sich aber auch die Eindeutigkeit beweisen. Dies wäre allerdings gegen die Forderung, dass Axiome beweislos vorausgesetzt sind. --[[Benutzer:Funkdocta|Funkdocta]] 15:04, 13. Jul. 2012 (CEST) | In 12.3 haben wir die Existenz dieser Geraden bewiesen. Mit dem Wort "genau" eine Gerade lässt sich aber auch die Eindeutigkeit beweisen. Dies wäre allerdings gegen die Forderung, dass Axiome beweislos vorausgesetzt sind. --[[Benutzer:Funkdocta|Funkdocta]] 15:04, 13. Jul. 2012 (CEST) | ||
Aktuelle Version vom 13. Juli 2012, 15:07 Uhr
Gegen welche Forderung, die an Axiomensysteme zu stellen ist, verstößt die folgende Formulierung des Parallelenaxioms:
Zu jedem Punkt 
außerhalb einer Geraden 
gibt es genau eine Gerade 
, die durch geht und zu parallel ist.
Statt "gibt es genau ein" muss in der Euklidischen Geometrie "höchstens eine" stehen, da es so nicht unabhängig wäre und dies würde den Ansprüchen an ein Axiom widersprechen. --Sissy66 15:07, 13. Jul. 2012 (CEST)
In 12.3 haben wir die Existenz dieser Geraden bewiesen. Mit dem Wort "genau" eine Gerade lässt sich aber auch die Eindeutigkeit beweisen. Dies wäre allerdings gegen die Forderung, dass Axiome beweislos vorausgesetzt sind. --Funkdocta 15:04, 13. Jul. 2012 (CEST)
