نظام مسلمات متآلف (axiomatic system, consistent)

نظام مسلمات متآلف نظام مسلمات لا يفضي مسلّمان متعارضان أو مسلّمة ونظرية متعارضين أو نظريتان متعارضتان، أى أنه إذا كانت $س$ مسلّمة أو نظرية في نظام مسلمات متآلف، فلا يمكن أن يوجد في النظام المسلّمة أو النظرية $\sim س$ (أى نفى $س$).