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 [...]