معجم الرياضيات

تماثل محوري إذا كان الشكل الهندسي متماثلًا بالنسبة لخط مستقيم فيقال إن له تماثلًا محوريًا أو أنه متماثل محوريًا، ويكون هذا الخط المستقيم هو محور التماثل. (انظر: محور التماثل axis of symmetry).

مسلمة قضية في نظام رياضي أو عبارة فيه يُسَلَّم بصحتها، وتُستنتج منها منطقيًا مبرهنات (نظريات، نتائج، ... ) هذا النظام.

مسلمة مستقلة يقال لمسلمة إنها مستقلة عن بقية المسلمات في نظام ما إذا لم تكن نتيجة منطقية لمسلمة أو لأكثر من مسلمات النظام.

مسلمة «كانتور-ديديكند» المسلمة التي تنصُّ على أن هناك تناظرًا أحاديًا بين نقاط الخط المستقيم ونِقَطِ الأعداد الحقيقية.

مسلمة الاختيار ( choice, axiom of : انظر ).

مسلمة الاتصال مسلمة تنص على أنْ كلَّ نقطةٍ على خطِّ الأعداد الحقيقية يقابلها عددٌ حقيقيٌّ وحيد (نسبي أو غير نسبي).

مسلمة قابلية العد الأولى يقال لفراغٍ طوبولوجي إنه يحقق مسلمة قابلية العد الأولى إذا كانتْ له مجموعةُ الجِوارات لكل نقطةٍ فيه ما أساسٌ قابلٌ للعد.

مسلمة قابلية العد الثانية يقال لفراغٍ طوبولوجي إنه يحقق مسلمة قابلية العد الثانية إذا كان لنَبْيَتِه الطوبولوجية أساسٌ قابلٌ للعد.

مسلمة التطابق المسلمة التي تنصُّ على أن أيَّ شكلٍ هندسي يمكن تحريكه في الفراغ دون أن يتغيَّر البعدُ بين أيِّ نقطتين فيه، وبذلك يحفظ بجميع خواصِّه الهندسية (الأطوال، المساحات، الحجوم، ...).

نظام مسلمات النظام المكوَّن من المسلَّمات والمسلَّمات الأولية (اللامبرهَنات)، والقوانين والبرهانات (النظريات، والنتائج، ... ) على أساسها.

نظام مسلمات تصنيفي .

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

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

مسلّمتان متكافئتان

مسلمات "أقليدس" مسلمات تنص على: ١) مسارات تساوي شيئاً تكون متساوية. ٢) إذا أضيفت مسارات إلى مسارات كانت النتائج متساوية. ٣) إذا طرحت مسارات من مسارات كانت البواقى متساوية. ٤) الأشياء التى تتطابق تكون متساوية. ٥) الكل أكبر من أى جزء من أجزائه.

محور الإحداثيات الخط المستقيم الذى يقاس عليه (أو في موازاته) الإحداثى.

المحور التخيلي انظر: مستوى "أرجند".

محور الدائرة المستقيم المارُّ بمركزِ الدائرةِ والعموديِّ على مستويها.

محور مخروط دائري الخطُّ الواصلُ من رأسِ المخروطِ إلى مركزِ قاعدته الدائرية.

محور أسطوانة دائرية الخطُّ الواصلُ بين مركزي قاعدتين متوازيتين للأسطوانة الدائرية.