Formal aksiomatik tizimlar matematik va logik strukturalar bo‘lib, ularda ma'lum aksiomalardan foydalangan holda teoremalarning formallashgan isbotlari ishlab chiqiladi. Aksiomatik tizimning asosiy qismlari: aksioma, qoidalar va teoremalar