Axiom
- Über 2.400 Übungen mit fast 200.000 Aufgaben
- Interaktive Eingaben, Lösungswege und Tipps
- Automatische Auswertungen und Korrektur
- Erkennung von Wissenslücken
Axiome sind nicht beweisbare Aussagen, aus denen weitere Aussagen durch logisches Schließen abgeleitet werden können.
Beispiel:
Die ->Peano-Axiome, die die natürlichen Zahlen charakterisieren.