posit

v. voraussetzen, postulieren

Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems).Der Ausdruck "Axiom" wird in drei Grundbedeutungen verwendet: Er bezeichnet einen unmittelbar einleuchtenden Grundsatz (klassischer (materialer) Axiombegriff) (Beispiel: Satz vom Widerspruch);ein vielfach bestätigtes allgemeines Naturgesetz (naturwissenschaftlicher (physikalischer) Axiombegriff) (Beispiel: Newtonsche Axiome); ein zu Grunde gelegter, nicht abgeleiteter Ausgangssatz (moderner (formaler) Axiombegriff).
Mehr unter Wikipedia.org...

Axiom ist ein freies allzweck Computer-Algebra-System. Es besteht aus einer interaktiven Umgebung (dem Interpreter), einem Compiler und einer Programmbibliothek. Letztere implementiert eine mathematisch korrekte Hierarchie von Typen.
Mehr unter Wikipedia.org...