![Axiom](https://i.altapps.net/icons/axiom-424ce.png)
8
Aksioma adalah tujuan umum sistem Algebra Komputer.Ia berguna untuk penyelidikan dan pembangunan algoritma matematik.Ia mendefinisikan hierarki jenis yang betul-betul ditaip, matematik yang betul.Ia mempunyai bahasa pengaturcaraan dan pengkompil terbina dalam.
axiom