Axiom

Axiome sind nicht beweisbare Aussagen, aus denen weitere Aussagen mit Hilfe der Logik abgeleitet werden können. Beispielsweise sind die Peano-Axiome eine formale Definition der Menge der natürlichen Zahlen. Erstes Peanoaxiom: “1 ist eine natürliche Zahl”. ( inzwischen sagt man gewöhnlich “0 ist eine natürliche Zahl, da man die 0 zu den natürlichen Zahlen hinzuzählt.) Man beweist dieses nicht, sondern setzt es für alle weiteren Schritte voraus.

Hat Dir dieser Beitrag gefallen? Mit dem Matheblog.de RSS feed immer auf dem neuesten Stand!

-->

Artikel Daten

Dieser Beitrag wurde geschrieben von Matheman, veroeffentlicht am 5. März 2010 at 15:35:27.000000 und unter Mathematische Begriffe mit A abgelegt. Setze ein Bookmark oder folge den Kommentaren RSS feed for this post. Kommentare geschlossen, aber Du kannst ein Trackback setzen: Trackback URL.

Lesezeichen setzen

Post Axiom to digg. Post Axiom to Reddit add to stumbleupon Google Bookmark myweb bookmark on del.cio.us webnews Tailrank linkarena Furl bookmark-wong shadows simpy blinklist

Ein Trackback

  1. von Beweis » Matheblog on 1. April 2010 at 11:52:02.000000

    [...] Sätze werden in der Mathematik auf der Grundlage bereits bewiesener Sätze, vorhandener Axiome und logischen Schlussregeln bewiesen. Da die euklidische Mathematik widerspruchsfrei ist, sind auch [...]