فمثلا من المسلمات الأساسية يمكن الاستنتاج مباشرة أن العنصر الحيادي identity element للزمرة يكون وحيدا.
For example, it is immediately proven from the axioms that the identity element of a group is unique.