Набор аксіём завецца несупярэчлівым, калі з аксіём набору, карыстаючыся правіламі логікі, нельга прыйсці да супярэчнасці. Аксіёмы з'яўляюцца свайго роду «пунктамі адліку» для пабудовы любой навукі, пры гэтым самі яны не даказваюцца, а выводзяцца непасрэдна з эмпірычнага назірання (досведу).