Enciclopedia universală

Sistem axiomatic

Sistem axiomatic - Este conceptul format din termeni primitivi (obiecte matematice ce nu se definesc) din axiome (relatii admise intre termenii primitivi) si reguli de deductie (regulile cu care se fac demonstratiile). Orice sistem axiomatic trebuie sa fie consistent (necontradictoriu), complet si independent.