نظام مسلمات غير تام (axiomatic system, incomplete)

نظام مسلمات غير تام يقال لنظام مسلمات أنه غير تام إذا أمكن إضافة مسلّمة جديدة مستقلة إليه بحيث يظل متآلفاً. أما إذا لم يمكن إضافة مسلّمة جديدة مستقلة للنظام بحيث يظل متآلفاً فيقال له أنه نظام مسلمات تام.