افحص التغييرات الفردية
تسمح لك هذه الصفحة بفحص المتغيرات التي تم إنشاؤها بواسطة عامل تصفية إساءة الاستخدام لإجراء تغيير فردي.
المتغيرات المولدة لهذا التغيير
| متغير | قيمة |
|---|---|
عدد التعديلات للمستخدم (user_editcount) | null |
اسم حساب المستخدم (user_name) | '31.166.9.98' |
عمر حساب المستخدم (user_age) | 0 |
المجموعات (متضمنة غير المباشرة) التي المستخدم فيها (user_groups) | [
0 => '*'
] |
ما إذا كان المستخدم يعدل من تطبيق المحمول (user_app) | false |
ما إذا كان المستخدم يعدل عبر واجهة المحمول (user_mobile) | true |
المجموعات العامة التي ينتمي إليها الحساب (global_user_groups) | [] |
هوية الصفحة (page_id) | 123194 |
نطاق الصفحة (page_namespace) | 0 |
عنوان الصفحة (بدون نطاق) (page_title) | 'مسلمة (فلسفة)' |
عنوان الصفحة الكامل (page_prefixedtitle) | 'مسلمة (فلسفة)' |
آخر عشرة مساهمين في الصفحة (page_recent_contributors) | [
0 => 'Tokx.xtp',
1 => 'Itachi108',
2 => 'حسن علي البط',
3 => 'JarBot',
4 => 'Elsayed Taha',
5 => 'MaraBot',
6 => 'Mr.Ibrahembot',
7 => 'Mustafa',
8 => 'Usamasaad',
9 => '197.18.94.239'
] |
عمر الصفحة (بالثواني) (page_age) | 499146844 |
أول مستخدم ساهم في الصفحة (page_first_contributor) | 'Chaos' |
فعل (action) | 'edit' |
ملخص التعديل/السبب (summary) | '' |
نموذج المحتوى القديم (old_content_model) | 'wikitext' |
نموذج المحتوى الجديد (new_content_model) | 'wikitext' |
نص الويكي القديم للصفحة، قبل التعديل (old_wikitext) | '[[ملف:Euclidian and non euclidian geometry.png|تصغير|200بك|يسار]]
{{وضح|قضية فلسفية|3=مسلمة (توضيح)}}
'''المُسلَّمة'''<ref>معجم الرياضيات، مجمع اللغة العربية بالقاهرة، وضع لجنة الرياضيات بالمجمع، إشراف د. عطية عبد السلام عاشور، 1415 هـ، 1995 م، ص 119 ([[iarchive:20200723_20200723_2102/mode/1up|رابط]])</ref> أو '''الموضوعة'''<ref>معجم مصطلحات الرياضيات، إعداد لجنة مصطلحات الرياضيات في المجمع، أ. د. موفق دعبول، أ. د. خضر الأحمد، أ. د. بشير قابيل، أ. مروان البواب، مجمع اللغة العربية، الجمهورية العربية السورية، 2018، ص 44 ([[iarchive:20200919_20200919_1356/page/n1/mode/1up|رابط]])</ref> أو '''البديهِيَّة''' {{لغة-يونانية|''أكسيوما'' αξιωμα}} هي منطقٌ أو قضيَّةٌ أو مبدأٌ يُسلَّم به دون برهان أو دلائل تسنده؛ لأنّه واضح كالمبادئ العقلية والأوليَّات والضروريَّات.<ref>معجم اللغة العربية المعاصر</ref> يمكن أن تكون المسلمة هي العبارة، الافتراض، المقولة أو القاعدة التي تشكل أساسًا [[نظام شكلي|للنظام الشكلي]]. بخلاف المبرهنات، المسلمات لا يمكن أن تشتق بمبادئ الاستنتاج، كما لا يمكن اثباتها عن طريق برهان شكلي - ببساطة لأنها مقدمات مفترضة - ليس هناك شيء آخر تستنتج منه منطقيًا (والا سيفترض تسميتها [[نظريات|نظرية]]).
كما يتضح من التعريف، المسلمة ليست بالضرورة حقيقة بينة بذاتها، ولكن بالأحرى تعبير شكلي منطقي يستعمل في الاستدلال للحصول على أكبر عدد ممكن من النتائج. تعتبر حقائق نظام معرفي مبسطة عندما يتم إثبات أن مجموعة ما من تصريحاته يمكن استخلاصها من جمل قليلة متعارف عليها وواضحة جيدا. وهذا لا يعني أنها يمكن أن تكون معروفة بشكل مستقل؛ وهناك عادة عدة طرق لتبسيط حقائق نظام معين من المعرفة (مثل الحساب). الرياضيات تميز نوعين من المسلمات : المسلمات المنطقية والمسلمات غير المنطقية.
المسلمات تأخذ بشكل أساسي على أنها صحيحة ولا تحتاج لإثبات ومن هنا جاء اسمها (''مسلمة'') فهي تعتبر مسلمة الصحة ضمن هذا النظام الشكلي الذي يتشكل بناء عليها. بطبيعة الحال هذا لا يمنع التساؤل عن مدى صواب هذه المسلمات خارج النظام الشكلي، مما يدفع آخرون لتبني نظام جديد من المسلمات ينتج عنه نظام شكلي جديد وقواعد رياضية جديدة. أحد أشهر الأمثلة [[بديهيات إقليدس|مسلمات إقليدس]] التي تتشكل بناء عليها [[هندسة إقليدية|الهندسة الإقليدية]] المستوية، وهي تختلف بشكل جذري عن [[هندسة منكوفسكي]] أو [[هندسة اهليليجية|هندسة ريمان]] التي تتبنى مسلمات أخرى.
في بعض نظريات المعرفة (الابستمولوجيات): تعتبر المسلمات حقائق [[ذاتي الإثبات|ذاتية الصحة]] تستند إليها بقية المعارف. لكن لا تعترف باقي نظريات فلسفة المعرفة بمسلمة ما يدعى بالمسلمات.
في [[المنطق]] و[[نظرية الألعاب]] و[[رياضيات|الرياضيات]] : ليس من الضروري أن تكون المسلمة ذاتية الإثبات بل يكفي أنها تعبير منطقي شكلي يستخدم في الاستنتاج ليعطي النتائج. يعتبر نظام معرفي مسلمًا عندما يثبت أن كامل ادعاءاته، قضاياه، وحقائقه تستند إلى مجموعة صغيرة من المسلمات المستقلة عن بعضها البعض.
== مسلمات ==
# يمكن رسم خط مستقيم من أي نقطة إلى أي نقطة أخرى.
# الخط المستقيم لا نهاية لهُ.
# من نقطة معلومة يمكن رسم قوس دائرة واحدة.
# كل الزوايا القائمة متطابقة.
# من نقطة معلومة، يمكن رسم مستقيم واحد يوازي مستقيم معلوم.
== التاريخ ==
ذكرها الجرجاني في كتابه [[التعريفات (كتاب)|التعريفات]]:<ref>[[تعريفات الجرجاني]]</ref><blockquote>المُسَلَّمات [[قضايا]] تسلم من الخصم ويبنى عليها الكلام لدفعه، سواء كانت مسلمة بين الخصمين، أو بين أهل العلم، كتسليم الفقهاء مسائل [[أصول الفقه]]، كما يستدل الفقيه على وجوب الزكاة في حلي المبالغة، بقوله صلى الله عليه وسلم {{اقتباس مضمن|في الحلي زكاة}}، فلو قال الخصم: هذا خبر واحد ولا نسلم أنه حجة، فنقول له: قد ثبت هذا في علم أصول الفقه، ولا بد أن تأخذه ها هنا.</blockquote>
== انظر أيضاً ==
*[[بديهة]]
*[[بديهي (منطق)|مسلم]]
*[[افتراض (منطق)|افتراض]]
*[[قضية مسلمة|مسلمة]]
* [[نظرية المعرفة]]
* [[قضية (فلسفة)]]
== مراجع ==
{{مراجع}}
{{منطق رياضي}}
{{منطق}}
{{شريط بوابات|تاريخ العلوم|رياضيات|فلسفة|منطق}}
[[تصنيف:أسومبشون]]
[[تصنيف:استنباط]]
[[تصنيف:استنتاج]]
[[تصنيف:بديهيات رياضية]]
[[تصنيف:تاريخ الأفكار]]
[[تصنيف:تاريخ الرياضيات]]
[[تصنيف:تاريخ العلوم]]
[[تصنيف:تاريخ الفلسفة]]
[[تصنيف:تاريخ المنطق]]
[[تصنيف:جبر]]
[[تصنيف:رياضيات ابتدائية]]
[[تصنيف:فلسفة إغريقية قديمة]]
[[تصنيف:مصطلحات رياضياتية]]
[[تصنيف:مصطلحات فلسفية]]
[[تصنيف:مفاهيم أخلاقية]]
[[تصنيف:مفاهيم في المنطق]]
[[تصنيف:مفاهيم في نظرية المعرفة]]
[[تصنيف:مفاهيم ميتافيزيقية]]
[[تصنيف:منطق]]
[[تصنيف:منطق رياضي]]
[[تصنيف:نظام شكلي]]
[[تصنيف:نظرية المعرفة]]
[[تصنيف:هندسة رياضية]]' |
نص الويكي الجديد للصفحة، بعد التعديل (new_wikitext) | '[[ملف:Euclidian and non euclidian geometry.png|تصغير|200بك|يسار]]
{{وضح|قضية فلسفية|3=مسلمة (توضيح)}}
'''المُسلَّمة'''<ref>معجم الرياضيات، مجمع اللغة العربية بالقاهرة، وضع لجنة الرياضيات بالمجمع، إشراف د. عطية عبد السلام عاشور، 1415 هـ، 1995 م، ص 119 ([[iarchive:20200723_20200723_2102/mode/1up|رابط]])</ref> أو '''الموضوعة'''<ref>معجم مصطلحات الرياضيات، إعداد لجنة مصطلحات الرياضيات في المجمع، أ. د. موفق دعبول، أ. د. خضر الأحمد، أ. د. بشير قابيل، أ. مروان البواب، مجمع اللغة العربية، الجمهورية العربية السورية، 2018، ص 44 ([[iarchive:20200919_20200919_1356/page/n1/mode/1up|رابط]])</ref> أو '''البديهِيَّة''' {{لغة-يونانية|''أكسيوما'' αξιωμα}} هي منطقٌ أو قضيَّةٌ أو مبدأٌ يُسلَّم به دون برهان أو دلائل تسنده؛ لأنّه واضح كالمبادئ العقلية والأوليَّات والضروريَّات.<ref>معجم اللغة العربية المعاصر</ref> يمكن أن تكون المسلمة هي العبارة، الافتراض، المقولة أو القاعدة التي تشكل أساسًا [[نظام شكلي|للنظام الشكلي]]. بخلاف المبرهنات، المسلمات لا يمكن أن تشتق بمبادئ الاستنتاج، كما لا يمكن اثباتها عن طريق برهان شكلي - ببساطة لأنها مقدمات مفترضة - ليس هناك شيء آخر تستنتج منه منطقيًا (والا سيفترض تسميتها [[نظريات|نظرية]]).
كما يتضح من التعريف، المسلمة ليست بالضرورة حقيقة بينة بذاتها، ولكن بالأحرى تعبير شكلي منطقي يستعمل في الاستدلال للحصول على أكبر عدد ممكن من النتائج. تعتبر حقائق نظام معرفي مبسطة عندما يتم إثبات أن مجموعة ما من تصريحاته يمكن استخلاصها من جمل قليلة متعارف عليها وواضحة جيدا. وهذا لا يعني أنها يمكن أن تكون معروفة بشكل مستقل؛ وهناك عادة عدة طرق لتبسيط حقائق نظام معين من المعرفة (مثل الحساب). الرياضيات تميز نوعين من المسلمات : المسلمات المنطقية والمسلمات غير المنطقية.
المسلمات تأخذ بشكل أساسي على أنها صحيحة ولا تحتاج لإثبات ومن هنا جاء اسمها (''مسلمة'') فهي تعتبر مسلمة الصحة ضمن هذا النظام الشكلي الذي يتشكل بناء عليها. بطبيعة الحال هذا لا يمنع التساؤل عن مدى صواب هذه المسلمات خارج النظام الشكلي، مما يدفع آخرون لتبني نظام جديد من المسلمات ينتج عنه نظام شكلي جديد وقواعد رياضية جديدة. أحد أشهر الأمثلة [[بديهيات إقليدس|مسلمات إقليدس]] التي تتشكل بناء عليها [[هندسة إقليدية|الهندسة الإقليدية]] المستوية، وهي تختلف بشكل جذري عن [[هندسة منكوفسكي]] أو [[هندسة اهليليجية|هندسة ريمان]] التي تتبنى مسلمات أخرى.
في بعض نظريات المعرفة (الابستمولوجيات): تعتبر المسلمات حقائق [[ذاتي الإثبات|ذاتية الصحة]] تستند إليها بقية المعارف. لكن لا تعترف باقي نظريات فلسفة المعرفة بمسلمة ما يدعى بالمسلمات.
في [[المنطق]] و[[نظرية الألعاب]] و[[رياضيات|الرياضيات]] : ليس من الضروري أن تكون المسلمة ذاتية الإثبات بل يكفي أنها تعبير منطقي شكلي يستخدم في الاستنتاج ليعطي النتائج. يعتبر نظام معرفي مسلمًا عندما يثبت أن كامل ادعاءاته، قضاياه، وحقائقه تستند إلى مجموعة صغيرة من المسلمات عن بعضها البعض. ويوجد ايضا مسلمة صغيرة وهي ان اي عدد زوجي متتالي مربع يكون مجموعه يقبل القسمة على 16 مثال 6²+6²+6²+6²= 144 وهذا الرقم يقبل القسمة على 16.
== مسلمات ==
# يمكن رسم خط مستقيم من أي نقطة إلى أي نقطة أخرى.
# الخط المستقيم لا نهاية لهُ.
# من نقطة معلومة يمكن رسم قوس دائرة واحدة.
# كل الزوايا القائمة متطابقة.
# من نقطة معلومة، يمكن رسم مستقيم واحد يوازي مستقيم معلوم.
== التاريخ ==
ذكرها الجرجاني في كتابه [[التعريفات (كتاب)|التعريفات]]:<ref>[[تعريفات الجرجاني]]</ref><blockquote>المُسَلَّمات [[قضايا]] تسلم من الخصم ويبنى عليها الكلام لدفعه، سواء كانت مسلمة بين الخصمين، أو بين أهل العلم، كتسليم الفقهاء مسائل [[أصول الفقه]]، كما يستدل الفقيه على وجوب الزكاة في حلي المبالغة، بقوله صلى الله عليه وسلم {{اقتباس مضمن|في الحلي زكاة}}، فلو قال الخصم: هذا خبر واحد ولا نسلم أنه حجة، فنقول له: قد ثبت هذا في علم أصول الفقه، ولا بد أن تأخذه ها هنا.</blockquote>
== انظر أيضاً ==
*[[بديهة]]
*[[بديهي (منطق)|مسلم]]
*[[افتراض (منطق)|افتراض]]
*[[قضية مسلمة|مسلمة]]
* [[نظرية المعرفة]]
* [[قضية (فلسفة)]]
== مراجع ==
{{مراجع}}
{{منطق رياضي}}
{{منطق}}
{{شريط بوابات|تاريخ العلوم|رياضيات|فلسفة|منطق}}
[[تصنيف:أسومبشون]]
[[تصنيف:استنباط]]
[[تصنيف:استنتاج]]
[[تصنيف:بديهيات رياضية]]
[[تصنيف:تاريخ الأفكار]]
[[تصنيف:تاريخ الرياضيات]]
[[تصنيف:تاريخ العلوم]]
[[تصنيف:تاريخ الفلسفة]]
[[تصنيف:تاريخ المنطق]]
[[تصنيف:جبر]]
[[تصنيف:رياضيات ابتدائية]]
[[تصنيف:فلسفة إغريقية قديمة]]
[[تصنيف:مصطلحات رياضياتية]]
[[تصنيف:مصطلحات فلسفية]]
[[تصنيف:مفاهيم أخلاقية]]
[[تصنيف:مفاهيم في المنطق]]
[[تصنيف:مفاهيم في نظرية المعرفة]]
[[تصنيف:مفاهيم ميتافيزيقية]]
[[تصنيف:منطق]]
[[تصنيف:منطق رياضي]]
[[تصنيف:نظام شكلي]]
[[تصنيف:نظرية المعرفة]]
[[تصنيف:هندسة رياضية]]' |
فرق موحد للتغييرات المصنوعة بواسطة التعديل (edit_diff) | '@@ -10,5 +10,5 @@
في بعض نظريات المعرفة (الابستمولوجيات): تعتبر المسلمات حقائق [[ذاتي الإثبات|ذاتية الصحة]] تستند إليها بقية المعارف. لكن لا تعترف باقي نظريات فلسفة المعرفة بمسلمة ما يدعى بالمسلمات.
-في [[المنطق]] و[[نظرية الألعاب]] و[[رياضيات|الرياضيات]] : ليس من الضروري أن تكون المسلمة ذاتية الإثبات بل يكفي أنها تعبير منطقي شكلي يستخدم في الاستنتاج ليعطي النتائج. يعتبر نظام معرفي مسلمًا عندما يثبت أن كامل ادعاءاته، قضاياه، وحقائقه تستند إلى مجموعة صغيرة من المسلمات المستقلة عن بعضها البعض.
+في [[المنطق]] و[[نظرية الألعاب]] و[[رياضيات|الرياضيات]] : ليس من الضروري أن تكون المسلمة ذاتية الإثبات بل يكفي أنها تعبير منطقي شكلي يستخدم في الاستنتاج ليعطي النتائج. يعتبر نظام معرفي مسلمًا عندما يثبت أن كامل ادعاءاته، قضاياه، وحقائقه تستند إلى مجموعة صغيرة من المسلمات عن بعضها البعض. ويوجد ايضا مسلمة صغيرة وهي ان اي عدد زوجي متتالي مربع يكون مجموعه يقبل القسمة على 16 مثال 6²+6²+6²+6²= 144 وهذا الرقم يقبل القسمة على 16.
== مسلمات ==
' |
حجم الصفحة الجديد (new_size) | 7250 |
حجم الصفحة القديم (old_size) | 7026 |
الحجم المتغير في التعديل (edit_delta) | 224 |
السطور المضافة في التعديل (added_lines) | [
0 => 'في [[المنطق]] و[[نظرية الألعاب]] و[[رياضيات|الرياضيات]] : ليس من الضروري أن تكون المسلمة ذاتية الإثبات بل يكفي أنها تعبير منطقي شكلي يستخدم في الاستنتاج ليعطي النتائج. يعتبر نظام معرفي مسلمًا عندما يثبت أن كامل ادعاءاته، قضاياه، وحقائقه تستند إلى مجموعة صغيرة من المسلمات عن بعضها البعض. ويوجد ايضا مسلمة صغيرة وهي ان اي عدد زوجي متتالي مربع يكون مجموعه يقبل القسمة على 16 مثال 6²+6²+6²+6²= 144 وهذا الرقم يقبل القسمة على 16.'
] |
السطور المزالة في التعديل (removed_lines) | [
0 => 'في [[المنطق]] و[[نظرية الألعاب]] و[[رياضيات|الرياضيات]] : ليس من الضروري أن تكون المسلمة ذاتية الإثبات بل يكفي أنها تعبير منطقي شكلي يستخدم في الاستنتاج ليعطي النتائج. يعتبر نظام معرفي مسلمًا عندما يثبت أن كامل ادعاءاته، قضاياه، وحقائقه تستند إلى مجموعة صغيرة من المسلمات المستقلة عن بعضها البعض.'
] |
نص الصفحة الجديد، مجردا من أية تهيئة (new_text) | '
.mw-parser-output .hatnote{font-style:italic}.mw-parser-output div.hatnote{padding-left:1.6em;margin-bottom:0.5em}.mw-parser-output .hatnote i{font-style:normal}.mw-parser-output .hatnote+link+.hatnote{margin-top:-0.5em}  هذه المقالة عن قضية فلسفية. لمعانٍ أخرى، طالع مسلمة (توضيح).
المُسلَّمة[1] أو الموضوعة[2] أو البديهِيَّة (باليونانية: أكسيوما αξιωμα) هي منطقٌ أو قضيَّةٌ أو مبدأٌ يُسلَّم به دون برهان أو دلائل تسنده؛ لأنّه واضح كالمبادئ العقلية والأوليَّات والضروريَّات.[3] يمكن أن تكون المسلمة هي العبارة، الافتراض، المقولة أو القاعدة التي تشكل أساسًا للنظام الشكلي. بخلاف المبرهنات، المسلمات لا يمكن أن تشتق بمبادئ الاستنتاج، كما لا يمكن اثباتها عن طريق برهان شكلي - ببساطة لأنها مقدمات مفترضة - ليس هناك شيء آخر تستنتج منه منطقيًا (والا سيفترض تسميتها نظرية).
كما يتضح من التعريف، المسلمة ليست بالضرورة حقيقة بينة بذاتها، ولكن بالأحرى تعبير شكلي منطقي يستعمل في الاستدلال للحصول على أكبر عدد ممكن من النتائج. تعتبر حقائق نظام معرفي مبسطة عندما يتم إثبات أن مجموعة ما من تصريحاته يمكن استخلاصها من جمل قليلة متعارف عليها وواضحة جيدا. وهذا لا يعني أنها يمكن أن تكون معروفة بشكل مستقل؛ وهناك عادة عدة طرق لتبسيط حقائق نظام معين من المعرفة (مثل الحساب). الرياضيات تميز نوعين من المسلمات : المسلمات المنطقية والمسلمات غير المنطقية.
المسلمات تأخذ بشكل أساسي على أنها صحيحة ولا تحتاج لإثبات ومن هنا جاء اسمها (مسلمة) فهي تعتبر مسلمة الصحة ضمن هذا النظام الشكلي الذي يتشكل بناء عليها. بطبيعة الحال هذا لا يمنع التساؤل عن مدى صواب هذه المسلمات خارج النظام الشكلي، مما يدفع آخرون لتبني نظام جديد من المسلمات ينتج عنه نظام شكلي جديد وقواعد رياضية جديدة. أحد أشهر الأمثلة مسلمات إقليدس التي تتشكل بناء عليها الهندسة الإقليدية المستوية، وهي تختلف بشكل جذري عن هندسة منكوفسكي أو هندسة ريمان التي تتبنى مسلمات أخرى.
في بعض نظريات المعرفة (الابستمولوجيات): تعتبر المسلمات حقائق ذاتية الصحة تستند إليها بقية المعارف. لكن لا تعترف باقي نظريات فلسفة المعرفة بمسلمة ما يدعى بالمسلمات.
في المنطق ونظرية الألعاب والرياضيات : ليس من الضروري أن تكون المسلمة ذاتية الإثبات بل يكفي أنها تعبير منطقي شكلي يستخدم في الاستنتاج ليعطي النتائج. يعتبر نظام معرفي مسلمًا عندما يثبت أن كامل ادعاءاته، قضاياه، وحقائقه تستند إلى مجموعة صغيرة من المسلمات عن بعضها البعض. ويوجد ايضا مسلمة صغيرة وهي ان اي عدد زوجي متتالي مربع يكون مجموعه يقبل القسمة على 16 مثال 6²+6²+6²+6²= 144 وهذا الرقم يقبل القسمة على 16.
محتويات
1 مسلمات
2 التاريخ
3 انظر أيضاً
4 مراجع
مسلمات
يمكن رسم خط مستقيم من أي نقطة إلى أي نقطة أخرى.
الخط المستقيم لا نهاية لهُ.
من نقطة معلومة يمكن رسم قوس دائرة واحدة.
كل الزوايا القائمة متطابقة.
من نقطة معلومة، يمكن رسم مستقيم واحد يوازي مستقيم معلوم.
التاريخ
ذكرها الجرجاني في كتابه التعريفات:[4]المُسَلَّمات قضايا تسلم من الخصم ويبنى عليها الكلام لدفعه، سواء كانت مسلمة بين الخصمين، أو بين أهل العلم، كتسليم الفقهاء مسائل أصول الفقه، كما يستدل الفقيه على وجوب الزكاة في حلي المبالغة، بقوله صلى الله عليه وسلم «في الحلي زكاة»، فلو قال الخصم: هذا خبر واحد ولا نسلم أنه حجة، فنقول له: قد ثبت هذا في علم أصول الفقه، ولا بد أن تأخذه ها هنا.
انظر أيضاً
بديهة
مسلم
افتراض
مسلمة
نظرية المعرفة
قضية (فلسفة)
مراجع
.mw-parser-output .reflist{font-size:90%;margin-bottom:0.5em;list-style-type:decimal;overflow-y:auto;max-height:300px}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}@media print{.mw-parser-output .reflist{overflow-y:visible!important;max-height:none!important}}
^ معجم الرياضيات، مجمع اللغة العربية بالقاهرة، وضع لجنة الرياضيات بالمجمع، إشراف د. عطية عبد السلام عاشور، 1415 هـ، 1995 م، ص 119 (رابط)
^ معجم مصطلحات الرياضيات، إعداد لجنة مصطلحات الرياضيات في المجمع، أ. د. موفق دعبول، أ. د. خضر الأحمد، أ. د. بشير قابيل، أ. مروان البواب، مجمع اللغة العربية، الجمهورية العربية السورية، 2018، ص 44 (رابط)
^ معجم اللغة العربية المعاصر
^ تعريفات الجرجاني
.mw-parser-output .navbar{display:inline;font-size:88%;font-weight:normal}.mw-parser-output .navbar-collapse{float:right;text-align:right}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-left:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-right:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:100%}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:right;text-align:right;margin-left:0.5em}عنتالمنطق الرياضيعام
لغة شكلية
تشكيل قاعدة
نظام شكلي
نظام شكلي
برهان فلسفي
دلالة الصورية (منطق)
صيغة التشكيلية
مجموعة (رياضيات)
صنف (نظرية المجموعات)
منطق كلاسيكي
بديهية
استنتاج طبيعي
قاعدة الإستدلال
علاقات
مبرهنة
استتباع منطقي
نظام بديهي
نظرية النمط
رمز (شكلي)
تركيب (منطق)
نظرية (منطق رياضي)
منطق تقليدي
قضية
استدلال
حجة منطقية
صحة
تفكير منطقي
قياس (منطق)
تعارض تربيعي
مخطط فن
حساب القضايا - جبر بولياني
دالة بوليانية
حساب القضايا
قضية (منطق)
رابطة منطقية
جدول الحقيقة
منطق تحول
منطق الرتبة الأولى
الكم (منطق)
محمول (منطق)
منطق الرتبة الثانية
Monadic predicate calculus
نظرية المجموعات المبسطة
مجموعة (رياضيات)
مجموعة خالية
تعداد
الماصدقية
مجموعة منتهية
مجموعة غير منتهية
مجموعة جزئية
مجموعة قوة
مجموعة قابلة للعد
مجموعة غير قابلة للعد
مجموعة تكرارية
مجال دالة
مدى(رياضيات)
تطبيق (رياضيات)
دالة
عملية ثنائية
زوج مرتب
نظرية المجموعات
أسس الرياضيات
نظرية المجموعات حسب تسيرميلو-فرانكل
بديهية الاختيار
نظرية المجموعات العامة
Kripke–Platek set theory
Von Neumann–Bernays–Gödel set theory
نظرية مجموعة مورس-كيلي
Tarski–Grothendieck set theory
نظرية النموذج
البنية (منطق رياضي)
تأويل (منطق)
Non-standard model
نظرية نموذج تناهي
قيمة الحقيقة
صحة
نظرية البرهان
برهان فلسفي
نظام شكلي
نظام شكلي
مبرهنة
استتباع منطقي
علاقات متناهية
تركيب (منطق)
نظرية الحاسوبية
استدعاء ذاتي
مدى(رياضيات)
مجموعة مرقمة بشكل تراجعي
مشكل القرار
أطروحة تشرش-تورينغ
دوال حسابية
Primitive recursive function
عنتالمنطقمقالات رئيسية
العقل الفلسفي
تاريخ المنطق
منطق فلسفي
منطق رياضي
ما بعد المنطق
فلسفة المنطق
مفاهيم مفتاحية
استنتاج
قياس
استقراء
منطق لاشكلي
افتراض
استدلال
حجة
تفكير نقدي
مغالطة
منطق رياضي
مجموعة
نحو
سيمانتيك
صيغة جيدة الشكل
مسلمة
مبرهنة
التماسك
نظرية كاملة
قابلية القرار
نظام شكلي
نظرية المجموعات
نظرية البرهان
نظرية النموذج
نظرية العودية
منطق الرتبة صفر
دالة بوليانية
حسبان القضايا
جداول الحقيقة
منطق الرتبة الأولى
منطق الرتبة الثانية
منطق طوري
منطق إبستيمي
منطق ظرفي
أنواع منطقية لاكلاسيكية
منطق الحسوبية
منطق ضبابي
منطق خطي
جدليات
مفارقة
شخصيات أساسية
أرسطو
جورج بول
جورج كانتور
رودولف كارناب
جوتلوب فريجه
كورت غودل
ديفيد هيلبرت
جوزيبه بيانو
شارل ساندرز پيرس
هيلاري پوتنام
بيرتراند راسل
ألفريد تارسكي
آلان تورنغ
قوائم
مواضيع أساسية
منطقيون
قواعد الاستدلال
منطق رياضي
رياضيات متقطعة
نظرية المجموعات
مفارقات
رموز منطقية
بوابة تاريخ العلوم
بوابة رياضيات
بوابة فلسفة
بوابة منطق' |
مصدر HTML المعروض للمراجعة الجديدة (new_html) | '<div class="mw-parser-output"><div class="thumb tleft"><div class="thumbinner" style="width:202px;"><a href="/wiki/%D9%85%D9%84%D9%81:Euclidian_and_non_euclidian_geometry.png" class="image"><img alt="Euclidian and non euclidian geometry.png" src="//upload.wikimedia.org/wikipedia/commons/thumb/5/5e/Euclidian_and_non_euclidian_geometry.png/200px-Euclidian_and_non_euclidian_geometry.png" decoding="async" width="200" height="75" class="thumbimage" data-file-width="4000" data-file-height="1500" /></a> <div class="thumbcaption"><div class="magnify"><a href="/wiki/%D9%85%D9%84%D9%81:Euclidian_and_non_euclidian_geometry.png" class="internal" title="كبّر"></a></div></div></div></div>
<style data-mw-deduplicate="TemplateStyles:r57876823">.mw-parser-output .hatnote{font-style:italic}.mw-parser-output div.hatnote{padding-left:1.6em;margin-bottom:0.5em}.mw-parser-output .hatnote i{font-style:normal}.mw-parser-output .hatnote+link+.hatnote{margin-top:-0.5em}</style><div role="note" class="hatnote navigation-not-searchable"><a href="/wiki/%D9%88%D9%8A%D9%83%D9%8A%D8%A8%D9%8A%D8%AF%D9%8A%D8%A7:%D8%AA%D9%88%D8%B6%D9%8A%D8%AD" title="ويكيبيديا:توضيح"><img alt="Disambig gray RTL.svg" src="//upload.wikimedia.org/wikipedia/commons/thumb/1/1d/Disambig_gray_RTL.svg/20px-Disambig_gray_RTL.svg.png" decoding="async" width="20" height="15" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/1/1d/Disambig_gray_RTL.svg/30px-Disambig_gray_RTL.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/1/1d/Disambig_gray_RTL.svg/40px-Disambig_gray_RTL.svg.png 2x" data-file-width="220" data-file-height="168" /></a>  هذه المقالة عن قضية فلسفية. لمعانٍ أخرى، طالع <a href="/wiki/%D9%85%D8%B3%D9%84%D9%85%D8%A9_(%D8%AA%D9%88%D8%B6%D9%8A%D8%AD)" class="mw-disambig" title="مسلمة (توضيح)">مسلمة (توضيح)</a>.</div>
<p><b>المُسلَّمة</b><sup id="cite_ref-1" class="reference"><a href="#cite_note-1">[1]</a></sup> أو <b>الموضوعة</b><sup id="cite_ref-2" class="reference"><a href="#cite_note-2">[2]</a></sup> أو <b>البديهِيَّة</b> (<a href="/wiki/%D8%A7%D9%84%D9%84%D8%BA%D8%A9_%D8%A7%D9%84%D9%8A%D9%88%D9%86%D8%A7%D9%86%D9%8A%D8%A9" title="اللغة اليونانية">باليونانية</a>: <span lang="el"><i>أكسيوما</i> αξιωμα</span>) هي منطقٌ أو قضيَّةٌ أو مبدأٌ يُسلَّم به دون برهان أو دلائل تسنده؛ لأنّه واضح كالمبادئ العقلية والأوليَّات والضروريَّات.<sup id="cite_ref-3" class="reference"><a href="#cite_note-3">[3]</a></sup> يمكن أن تكون المسلمة هي العبارة، الافتراض، المقولة أو القاعدة التي تشكل أساسًا <a href="/wiki/%D9%86%D8%B8%D8%A7%D9%85_%D8%B4%D9%83%D9%84%D9%8A" title="نظام شكلي">للنظام الشكلي</a>. بخلاف المبرهنات، المسلمات لا يمكن أن تشتق بمبادئ الاستنتاج، كما لا يمكن اثباتها عن طريق برهان شكلي - ببساطة لأنها مقدمات مفترضة - ليس هناك شيء آخر تستنتج منه منطقيًا (والا سيفترض تسميتها <a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A7%D8%AA" class="mw-redirect" title="نظريات">نظرية</a>).
</p><p>كما يتضح من التعريف، المسلمة ليست بالضرورة حقيقة بينة بذاتها، ولكن بالأحرى تعبير شكلي منطقي يستعمل في الاستدلال للحصول على أكبر عدد ممكن من النتائج. تعتبر حقائق نظام معرفي مبسطة عندما يتم إثبات أن مجموعة ما من تصريحاته يمكن استخلاصها من جمل قليلة متعارف عليها وواضحة جيدا. وهذا لا يعني أنها يمكن أن تكون معروفة بشكل مستقل؛ وهناك عادة عدة طرق لتبسيط حقائق نظام معين من المعرفة (مثل الحساب). الرياضيات تميز نوعين من المسلمات : المسلمات المنطقية والمسلمات غير المنطقية.
</p><p>المسلمات تأخذ بشكل أساسي على أنها صحيحة ولا تحتاج لإثبات ومن هنا جاء اسمها (<i>مسلمة</i>) فهي تعتبر مسلمة الصحة ضمن هذا النظام الشكلي الذي يتشكل بناء عليها. بطبيعة الحال هذا لا يمنع التساؤل عن مدى صواب هذه المسلمات خارج النظام الشكلي، مما يدفع آخرون لتبني نظام جديد من المسلمات ينتج عنه نظام شكلي جديد وقواعد رياضية جديدة. أحد أشهر الأمثلة <a href="/w/index.php?title=%D8%A8%D8%AF%D9%8A%D9%87%D9%8A%D8%A7%D8%AA_%D8%A5%D9%82%D9%84%D9%8A%D8%AF%D8%B3&action=edit&redlink=1" class="new" title="بديهيات إقليدس (الصفحة غير موجودة)">مسلمات إقليدس</a> التي تتشكل بناء عليها <a href="/wiki/%D9%87%D9%86%D8%AF%D8%B3%D8%A9_%D8%A5%D9%82%D9%84%D9%8A%D8%AF%D9%8A%D8%A9" title="هندسة إقليدية">الهندسة الإقليدية</a> المستوية، وهي تختلف بشكل جذري عن <a href="/w/index.php?title=%D9%87%D9%86%D8%AF%D8%B3%D8%A9_%D9%85%D9%86%D9%83%D9%88%D9%81%D8%B3%D9%83%D9%8A&action=edit&redlink=1" class="new" title="هندسة منكوفسكي (الصفحة غير موجودة)">هندسة منكوفسكي</a> أو <a href="/wiki/%D9%87%D9%86%D8%AF%D8%B3%D8%A9_%D8%A7%D9%87%D9%84%D9%8A%D9%84%D9%8A%D8%AC%D9%8A%D8%A9" class="mw-redirect" title="هندسة اهليليجية">هندسة ريمان</a> التي تتبنى مسلمات أخرى.
</p><p>في بعض نظريات المعرفة (الابستمولوجيات): تعتبر المسلمات حقائق <a href="/w/index.php?title=%D8%B0%D8%A7%D8%AA%D9%8A_%D8%A7%D9%84%D8%A5%D8%AB%D8%A8%D8%A7%D8%AA&action=edit&redlink=1" class="new" title="ذاتي الإثبات (الصفحة غير موجودة)">ذاتية الصحة</a> تستند إليها بقية المعارف. لكن لا تعترف باقي نظريات فلسفة المعرفة بمسلمة ما يدعى بالمسلمات.
</p><p>في <a href="/wiki/%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82" title="المنطق">المنطق</a> <a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D8%A3%D9%84%D8%B9%D8%A7%D8%A8" title="نظرية الألعاب">ونظرية الألعاب</a> <a href="/wiki/%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA" title="رياضيات">والرياضيات</a> : ليس من الضروري أن تكون المسلمة ذاتية الإثبات بل يكفي أنها تعبير منطقي شكلي يستخدم في الاستنتاج ليعطي النتائج. يعتبر نظام معرفي مسلمًا عندما يثبت أن كامل ادعاءاته، قضاياه، وحقائقه تستند إلى مجموعة صغيرة من المسلمات عن بعضها البعض. ويوجد ايضا مسلمة صغيرة وهي ان اي عدد زوجي متتالي مربع يكون مجموعه يقبل القسمة على 16 مثال 6²+6²+6²+6²= 144 وهذا الرقم يقبل القسمة على 16.
</p>
<div id="toc" class="toc" role="navigation" aria-labelledby="mw-toc-heading"><input type="checkbox" role="button" id="toctogglecheckbox" class="toctogglecheckbox" style="display:none" /><div class="toctitle" lang="ar" dir="rtl"><h2 id="mw-toc-heading">محتويات</h2><span class="toctogglespan"><label class="toctogglelabel" for="toctogglecheckbox"></label></span></div>
<ul>
<li class="toclevel-1 tocsection-1"><a href="#مسلمات"><span class="tocnumber">1</span> <span class="toctext">مسلمات</span></a></li>
<li class="toclevel-1 tocsection-2"><a href="#التاريخ"><span class="tocnumber">2</span> <span class="toctext">التاريخ</span></a></li>
<li class="toclevel-1 tocsection-3"><a href="#انظر_أيضاً"><span class="tocnumber">3</span> <span class="toctext">انظر أيضاً</span></a></li>
<li class="toclevel-1 tocsection-4"><a href="#مراجع"><span class="tocnumber">4</span> <span class="toctext">مراجع</span></a></li>
</ul>
</div>
<h2><span id=".D9.85.D8.B3.D9.84.D9.85.D8.A7.D8.AA"></span><span class="mw-headline" id="مسلمات">مسلمات</span></h2>
<ol><li>يمكن رسم خط مستقيم من أي نقطة إلى أي نقطة أخرى.</li>
<li>الخط المستقيم لا نهاية لهُ.</li>
<li>من نقطة معلومة يمكن رسم قوس دائرة واحدة.</li>
<li>كل الزوايا القائمة متطابقة.</li>
<li>من نقطة معلومة، يمكن رسم مستقيم واحد يوازي مستقيم معلوم.</li></ol>
<h2><span id=".D8.A7.D9.84.D8.AA.D8.A7.D8.B1.D9.8A.D8.AE"></span><span class="mw-headline" id="التاريخ">التاريخ</span></h2><p>
ذكرها الجرجاني في كتابه <a href="/wiki/%D8%A7%D9%84%D8%AA%D8%B9%D8%B1%D9%8A%D9%81%D8%A7%D8%AA_(%D9%83%D8%AA%D8%A7%D8%A8)" title="التعريفات (كتاب)">التعريفات</a>:<sup id="cite_ref-4" class="reference"><a href="#cite_note-4">[4]</a></sup></p><blockquote><p>المُسَلَّمات <a href="/wiki/%D9%82%D8%B6%D8%A7%D9%8A%D8%A7" class="mw-redirect mw-disambig" title="قضايا">قضايا</a> تسلم من الخصم ويبنى عليها الكلام لدفعه، سواء كانت مسلمة بين الخصمين، أو بين أهل العلم، كتسليم الفقهاء مسائل <a href="/wiki/%D8%A3%D8%B5%D9%88%D9%84_%D8%A7%D9%84%D9%81%D9%82%D9%87" title="أصول الفقه">أصول الفقه</a>، كما يستدل الفقيه على وجوب الزكاة في حلي المبالغة، بقوله صلى الله عليه وسلم «<span class="citationTemplate" style="font-size:1.1em"><span class="script-arabic">في الحلي زكاة</span></span>»، فلو قال الخصم: هذا خبر واحد ولا نسلم أنه حجة، فنقول له: قد ثبت هذا في علم أصول الفقه، ولا بد أن تأخذه ها هنا.</p></blockquote>
<h2><span id=".D8.A7.D9.86.D8.B8.D8.B1_.D8.A3.D9.8A.D8.B6.D8.A7.D9.8B"></span><span class="mw-headline" id="انظر_أيضاً">انظر أيضاً</span></h2>
<ul><li><a href="/wiki/%D8%A8%D8%AF%D9%8A%D9%87%D8%A9" title="بديهة">بديهة</a></li>
<li><a href="/wiki/%D8%A8%D8%AF%D9%8A%D9%87%D9%8A_(%D9%85%D9%86%D8%B7%D9%82)" title="بديهي (منطق)">مسلم</a></li>
<li><a href="/wiki/%D8%A7%D9%81%D8%AA%D8%B1%D8%A7%D8%B6_(%D9%85%D9%86%D8%B7%D9%82)" title="افتراض (منطق)">افتراض</a></li>
<li><a href="/wiki/%D9%82%D8%B6%D9%8A%D8%A9_%D9%85%D8%B3%D9%84%D9%85%D8%A9" title="قضية مسلمة">مسلمة</a></li>
<li><a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D9%85%D8%B9%D8%B1%D9%81%D8%A9" title="نظرية المعرفة">نظرية المعرفة</a></li>
<li><a href="/wiki/%D9%82%D8%B6%D9%8A%D8%A9_(%D9%81%D9%84%D8%B3%D9%81%D8%A9)" title="قضية (فلسفة)">قضية (فلسفة)</a></li></ul>
<h2><span id=".D9.85.D8.B1.D8.A7.D8.AC.D8.B9"></span><span class="mw-headline" id="مراجع">مراجع</span></h2>
<style data-mw-deduplicate="TemplateStyles:r56810696">.mw-parser-output .reflist{font-size:90%;margin-bottom:0.5em;list-style-type:decimal;overflow-y:auto;max-height:300px}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}@media print{.mw-parser-output .reflist{overflow-y:visible!important;max-height:none!important}}</style><div class="reflist">
<div class="mw-references-wrap"><ol class="references">
<li id="cite_note-1"><span class="mw-cite-backlink"><b><a href="#cite_ref-1">^</a></b></span> <span class="reference-text">معجم الرياضيات، مجمع اللغة العربية بالقاهرة، وضع لجنة الرياضيات بالمجمع، إشراف د. عطية عبد السلام عاشور، 1415 هـ، 1995 م، ص 119 (<a href="//archive.org/details/20200723_20200723_2102/mode/1up" class="extiw" title="iarchive:20200723 20200723 2102/mode/1up">رابط</a>)</span>
</li>
<li id="cite_note-2"><span class="mw-cite-backlink"><b><a href="#cite_ref-2">^</a></b></span> <span class="reference-text">معجم مصطلحات الرياضيات، إعداد لجنة مصطلحات الرياضيات في المجمع، أ. د. موفق دعبول، أ. د. خضر الأحمد، أ. د. بشير قابيل، أ. مروان البواب، مجمع اللغة العربية، الجمهورية العربية السورية، 2018، ص 44 (<a href="//archive.org/details/20200919_20200919_1356/page/n1/mode/1up" class="extiw" title="iarchive:20200919 20200919 1356/page/n1/mode/1up">رابط</a>)</span>
</li>
<li id="cite_note-3"><span class="mw-cite-backlink"><b><a href="#cite_ref-3">^</a></b></span> <span class="reference-text">معجم اللغة العربية المعاصر</span>
</li>
<li id="cite_note-4"><span class="mw-cite-backlink"><b><a href="#cite_ref-4">^</a></b></span> <span class="reference-text"><a href="/wiki/%D8%AA%D8%B9%D8%B1%D9%8A%D9%81%D8%A7%D8%AA_%D8%A7%D9%84%D8%AC%D8%B1%D8%AC%D8%A7%D9%86%D9%8A" class="mw-redirect" title="تعريفات الجرجاني">تعريفات الجرجاني</a></span>
</li>
</ol></div></div>
<div role="navigation" class="navbox" aria-labelledby="المنطق_الرياضي" style="text-align:right;;padding:1px"><table class="nowraplinks mw-collapsible mw-collapsed navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2" style="background:#ddf;"><style data-mw-deduplicate="TemplateStyles:r52500470">.mw-parser-output .navbar{display:inline;font-size:88%;font-weight:normal}.mw-parser-output .navbar-collapse{float:right;text-align:right}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-left:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-right:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:100%}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:right;text-align:right;margin-left:0.5em}</style><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-اعرض"><a href="/wiki/%D9%82%D8%A7%D9%84%D8%A8:%D9%85%D9%86%D8%B7%D9%82_%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A" title="قالب:منطق رياضي"><abbr title="عرض هذا القالب" style=";background:#ddf;;background:none transparent;border:none;box-shadow:none;padding:0;">ع</abbr></a></li><li class="nv-ناقش"><a href="/wiki/%D9%86%D9%82%D8%A7%D8%B4_%D8%A7%D9%84%D9%82%D8%A7%D9%84%D8%A8:%D9%85%D9%86%D8%B7%D9%82_%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A" title="نقاش القالب:منطق رياضي"><abbr title="ناقش هذا القالب" style=";background:#ddf;;background:none transparent;border:none;box-shadow:none;padding:0;">ن</abbr></a></li><li class="nv-عدل"><a class="external text" href="https://ar.wikipedia.org/w/index.php?title=%D9%82%D8%A7%D9%84%D8%A8:%D9%85%D9%86%D8%B7%D9%82_%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A&action=edit"><abbr title="عدل هذا القالب" style=";background:#ddf;;background:none transparent;border:none;box-shadow:none;padding:0;">ت</abbr></a></li></ul></div><div id="المنطق_الرياضي" style="font-size:114%;margin:0 4em"><a href="/wiki/%D9%85%D9%86%D8%B7%D9%82_%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A" title="منطق رياضي">المنطق الرياضي</a></div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">عام</th><td class="navbox-list navbox-odd hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/wiki/%D9%84%D8%BA%D8%A9_%D8%B4%D9%83%D9%84%D9%8A%D8%A9" title="لغة شكلية">لغة شكلية</a></li>
<li><a href="/w/index.php?title=%D8%AA%D8%B4%D9%83%D9%8A%D9%84_%D9%82%D8%A7%D8%B9%D8%AF%D8%A9&action=edit&redlink=1" class="new" title="تشكيل قاعدة (الصفحة غير موجودة)">تشكيل قاعدة</a></li>
<li><a href="/wiki/%D9%86%D8%B8%D8%A7%D9%85_%D8%B4%D9%83%D9%84%D9%8A" title="نظام شكلي">نظام شكلي</a></li>
<li><a href="/wiki/%D9%86%D8%B8%D8%A7%D9%85_%D8%B4%D9%83%D9%84%D9%8A" title="نظام شكلي">نظام شكلي</a></li>
<li><a href="/wiki/%D8%A8%D8%B1%D9%87%D8%A7%D9%86_%D9%81%D9%84%D8%B3%D9%81%D9%8A" title="برهان فلسفي">برهان فلسفي</a></li>
<li><a href="/w/index.php?title=%D8%AF%D9%84%D8%A7%D9%84%D8%A9_%D8%A7%D9%84%D8%B5%D9%88%D8%B1%D9%8A%D8%A9_(%D9%85%D9%86%D8%B7%D9%82)&action=edit&redlink=1" class="new" title="دلالة الصورية (منطق) (الصفحة غير موجودة)">دلالة الصورية (منطق)</a></li>
<li><a href="/w/index.php?title=%D8%B5%D9%8A%D8%BA%D8%A9_%D8%A7%D9%84%D8%AA%D8%B4%D9%83%D9%8A%D9%84%D9%8A%D8%A9&action=edit&redlink=1" class="new" title="صيغة التشكيلية (الصفحة غير موجودة)">صيغة التشكيلية</a></li>
<li><a href="/wiki/%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A9_(%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA)" title="مجموعة (رياضيات)">مجموعة (رياضيات)</a></li>
<li><a href="/w/index.php?title=%D8%B5%D9%86%D9%81_(%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A7%D8%AA)&action=edit&redlink=1" class="new" title="صنف (نظرية المجموعات) (الصفحة غير موجودة)">صنف (نظرية المجموعات)</a></li>
<li><a href="/w/index.php?title=%D9%85%D9%86%D8%B7%D9%82_%D9%83%D9%84%D8%A7%D8%B3%D9%8A%D9%83%D9%8A&action=edit&redlink=1" class="new" title="منطق كلاسيكي (الصفحة غير موجودة)">منطق كلاسيكي</a></li>
<li><a class="mw-selflink selflink">بديهية</a></li>
<li><a href="/w/index.php?title=%D8%A7%D8%B3%D8%AA%D9%86%D8%AA%D8%A7%D8%AC_%D8%B7%D8%A8%D9%8A%D8%B9%D9%8A&action=edit&redlink=1" class="new" title="استنتاج طبيعي (الصفحة غير موجودة)">استنتاج طبيعي</a></li>
<li><a href="/w/index.php?title=%D9%82%D8%A7%D8%B9%D8%AF%D8%A9_%D8%A7%D9%84%D8%A5%D8%B3%D8%AA%D8%AF%D9%84%D8%A7%D9%84&action=edit&redlink=1" class="new" title="قاعدة الإستدلال (الصفحة غير موجودة)">قاعدة الإستدلال</a></li>
<li><a href="/w/index.php?title=%D8%B9%D9%84%D8%A7%D9%82%D8%A7%D8%AA_%D9%85%D8%AA%D9%86%D8%A7%D9%87%D9%8A%D8%A9&action=edit&redlink=1" class="new" title="علاقات متناهية (الصفحة غير موجودة)">علاقات</a></li>
<li><a href="/wiki/%D9%85%D8%A8%D8%B1%D9%87%D9%86%D8%A9" title="مبرهنة">مبرهنة</a></li>
<li><a href="/wiki/%D8%A7%D8%B3%D8%AA%D8%AA%D8%A8%D8%A7%D8%B9_%D9%85%D9%86%D8%B7%D9%82%D9%8A" title="استتباع منطقي">استتباع منطقي</a></li>
<li><a href="/w/index.php?title=%D9%86%D8%B8%D8%A7%D9%85_%D8%A8%D8%AF%D9%8A%D9%87%D9%8A&action=edit&redlink=1" class="new" title="نظام بديهي (الصفحة غير موجودة)">نظام بديهي</a></li>
<li><a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D9%86%D9%85%D8%B7" title="نظرية النمط">نظرية النمط</a></li>
<li><a href="/w/index.php?title=%D8%B1%D9%85%D8%B2_(%D8%B4%D9%83%D9%84%D9%8A)&action=edit&redlink=1" class="new" title="رمز (شكلي) (الصفحة غير موجودة)">رمز (شكلي)</a></li>
<li><a href="/wiki/%D8%AA%D8%B1%D9%83%D9%8A%D8%A8_(%D9%85%D9%86%D8%B7%D9%82)" title="تركيب (منطق)">تركيب (منطق)</a></li>
<li><a href="/w/index.php?title=%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_(%D9%85%D9%86%D8%B7%D9%82_%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A)&action=edit&redlink=1" class="new" title="نظرية (منطق رياضي) (الصفحة غير موجودة)">نظرية (منطق رياضي)</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">منطق تقليدي</th><td class="navbox-list navbox-even hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/wiki/%D9%82%D8%B6%D9%8A%D8%A9_(%D8%AA%D9%88%D8%B6%D9%8A%D8%AD)" class="mw-disambig" title="قضية (توضيح)">قضية</a></li>
<li><a href="/wiki/%D8%A7%D8%B3%D8%AA%D8%AF%D9%84%D8%A7%D9%84_(%D8%A8%D8%AD%D8%AB_%D8%B9%D9%84%D9%85%D9%8A)" title="استدلال (بحث علمي)">استدلال</a></li>
<li><a href="/wiki/%D8%AD%D8%AC%D8%A9_(%D9%85%D9%86%D8%B7%D9%82)" title="حجة (منطق)">حجة منطقية</a></li>
<li><a href="/wiki/%D8%B5%D8%AD%D8%A9_(%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82)" title="صحة (المنطق)">صحة</a></li>
<li><a href="/wiki/%D8%AA%D9%81%D9%83%D9%8A%D8%B1_%D9%85%D9%86%D8%B7%D9%82%D9%8A" title="تفكير منطقي">تفكير منطقي</a></li>
<li><a href="/wiki/%D9%82%D9%8A%D8%A7%D8%B3_(%D9%85%D9%86%D8%B7%D9%82)" title="قياس (منطق)">قياس (منطق)</a></li>
<li><a href="/w/index.php?title=%D8%AA%D8%B9%D8%A7%D8%B1%D8%B6_%D8%AA%D8%B1%D8%A8%D9%8A%D8%B9%D9%8A&action=edit&redlink=1" class="new" title="تعارض تربيعي (الصفحة غير موجودة)">تعارض تربيعي</a></li>
<li><a href="/wiki/%D9%85%D8%AE%D8%B7%D8%B7_%D9%81%D9%86" title="مخطط فن">مخطط فن</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D8%AD%D8%B3%D8%A7%D8%A8_%D8%A7%D9%84%D9%82%D8%B6%D8%A7%D9%8A%D8%A7" title="حساب القضايا">حساب القضايا</a> - <a href="/wiki/%D8%AC%D8%A8%D8%B1_%D8%A8%D9%88%D9%84" title="جبر بول">جبر بولياني</a></th><td class="navbox-list navbox-odd hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/wiki/%D8%AF%D8%A7%D9%84%D8%A9_%D8%A8%D9%88%D9%84%D9%8A%D8%A7%D9%86%D9%8A%D8%A9" title="دالة بوليانية">دالة بوليانية</a></li>
<li><a href="/wiki/%D8%AD%D8%B3%D8%A7%D8%A8_%D8%A7%D9%84%D9%82%D8%B6%D8%A7%D9%8A%D8%A7" title="حساب القضايا">حساب القضايا</a></li>
<li><a href="/wiki/%D9%82%D8%B6%D9%8A%D8%A9_(%D9%81%D9%84%D8%B3%D9%81%D8%A9)" title="قضية (فلسفة)">قضية (منطق)</a></li>
<li><a href="/wiki/%D8%B1%D8%A7%D8%A8%D8%B7%D8%A9_%D9%85%D9%86%D8%B7%D9%82%D9%8A%D8%A9" title="رابطة منطقية">رابطة منطقية</a></li>
<li><a href="/wiki/%D8%AC%D8%AF%D9%88%D9%84_%D8%A7%D9%84%D8%AD%D9%82%D9%8A%D9%82%D8%A9" title="جدول الحقيقة">جدول الحقيقة</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/w/index.php?title=%D9%85%D9%86%D8%B7%D9%82_%D8%AA%D8%AD%D9%88%D9%84&action=edit&redlink=1" class="new" title="منطق تحول (الصفحة غير موجودة)">منطق تحول</a></th><td class="navbox-list navbox-even hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/wiki/%D9%85%D9%86%D8%B7%D9%82_%D8%A7%D9%84%D8%B1%D8%AA%D8%A8%D8%A9_%D8%A7%D9%84%D8%A3%D9%88%D9%84%D9%89" title="منطق الرتبة الأولى">منطق الرتبة الأولى</a></li>
<li><a href="/w/index.php?title=%D8%A7%D9%84%D9%83%D9%85_(%D9%85%D9%86%D8%B7%D9%82)&action=edit&redlink=1" class="new" title="الكم (منطق) (الصفحة غير موجودة)">الكم (منطق)</a></li>
<li><a href="/wiki/%D9%85%D8%AD%D9%85%D9%88%D9%84_(%D9%85%D9%86%D8%B7%D9%82)" title="محمول (منطق)">محمول (منطق)</a></li>
<li><a href="/wiki/%D9%85%D9%86%D8%B7%D9%82_%D8%A7%D9%84%D8%B1%D8%AA%D8%A8%D8%A9_%D8%A7%D9%84%D8%AB%D8%A7%D9%86%D9%8A%D8%A9" title="منطق الرتبة الثانية">منطق الرتبة الثانية</a></li>
<li><a href="/w/index.php?title=Monadic_predicate_calculus&action=edit&redlink=1" class="new" title="Monadic predicate calculus (الصفحة غير موجودة)">Monadic predicate calculus</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A7%D8%AA_%D8%A7%D9%84%D9%85%D8%A8%D8%B3%D8%B7%D8%A9" title="نظرية المجموعات المبسطة">نظرية المجموعات المبسطة</a></th><td class="navbox-list navbox-odd hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/wiki/%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A9_(%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA)" title="مجموعة (رياضيات)">مجموعة (رياضيات)</a></li>
<li><a href="/wiki/%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A9_%D8%AE%D8%A7%D9%84%D9%8A%D8%A9" title="مجموعة خالية">مجموعة خالية</a></li>
<li><a href="/wiki/%D8%AA%D8%B9%D8%AF%D8%A7%D8%AF" title="تعداد">تعداد</a></li>
<li><a href="/w/index.php?title=%D8%A7%D9%84%D9%85%D8%A7%D8%B5%D8%AF%D9%82%D9%8A%D8%A9&action=edit&redlink=1" class="new" title="الماصدقية (الصفحة غير موجودة)">الماصدقية</a></li>
<li><a href="/wiki/%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A9_%D9%85%D9%86%D8%AA%D9%87%D9%8A%D8%A9" title="مجموعة منتهية">مجموعة منتهية</a></li>
<li><a href="/wiki/%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A9_%D8%BA%D9%8A%D8%B1_%D9%85%D9%86%D8%AA%D9%87%D9%8A%D8%A9" title="مجموعة غير منتهية">مجموعة غير منتهية</a></li>
<li><a href="/wiki/%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A9_%D8%AC%D8%B2%D8%A6%D9%8A%D8%A9" title="مجموعة جزئية">مجموعة جزئية</a></li>
<li><a href="/w/index.php?title=%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A9_%D9%82%D9%88%D8%A9&action=edit&redlink=1" class="new" title="مجموعة قوة (الصفحة غير موجودة)">مجموعة قوة</a></li>
<li><a href="/wiki/%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A9_%D9%82%D8%A7%D8%A8%D9%84%D8%A9_%D9%84%D9%84%D8%B9%D8%AF" title="مجموعة قابلة للعد">مجموعة قابلة للعد</a></li>
<li><a href="/wiki/%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A9_%D8%BA%D9%8A%D8%B1_%D9%82%D8%A7%D8%A8%D9%84%D8%A9_%D9%84%D9%84%D8%B9%D8%AF" title="مجموعة غير قابلة للعد">مجموعة غير قابلة للعد</a></li>
<li><a href="/w/index.php?title=%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A9_%D8%AA%D9%83%D8%B1%D8%A7%D8%B1%D9%8A%D8%A9&action=edit&redlink=1" class="new" title="مجموعة تكرارية (الصفحة غير موجودة)">مجموعة تكرارية</a></li>
<li><a href="/wiki/%D9%85%D9%86%D8%B7%D9%84%D9%82_%D8%AF%D8%A7%D9%84%D8%A9" title="منطلق دالة">مجال دالة</a></li>
<li><a href="/w/index.php?title=%D9%85%D8%AF%D9%89(%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA)&action=edit&redlink=1" class="new" title="مدى(رياضيات) (الصفحة غير موجودة)">مدى(رياضيات)</a></li>
<li><a href="/wiki/%D8%AA%D8%B7%D8%A8%D9%8A%D9%82_(%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA)" title="تطبيق (رياضيات)">تطبيق (رياضيات)</a></li>
<li><a href="/wiki/%D8%AF%D8%A7%D9%84%D8%A9" title="دالة">دالة</a></li>
<li><a href="/wiki/%D8%B9%D9%85%D9%84%D9%8A%D8%A9_%D8%AB%D9%86%D8%A7%D8%A6%D9%8A%D8%A9" title="عملية ثنائية">عملية ثنائية</a></li>
<li><a href="/wiki/%D8%B2%D9%88%D8%AC_%D9%85%D8%B1%D8%AA%D8%A8" title="زوج مرتب">زوج مرتب</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A7%D8%AA" title="نظرية المجموعات">نظرية المجموعات</a></th><td class="navbox-list navbox-even hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/wiki/%D8%A3%D8%B3%D8%B3_%D8%A7%D9%84%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA" title="أسس الرياضيات">أسس الرياضيات</a></li>
<li><a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A7%D8%AA_%D8%AD%D8%B3%D8%A8_%D8%AA%D8%B3%D9%8A%D8%B1%D9%85%D9%8A%D9%84%D9%88-%D9%81%D8%B1%D8%A7%D9%86%D9%83%D9%84" title="نظرية المجموعات حسب تسيرميلو-فرانكل">نظرية المجموعات حسب تسيرميلو-فرانكل</a></li>
<li><a href="/wiki/%D8%A8%D8%AF%D9%8A%D9%87%D9%8A%D8%A9_%D8%A7%D9%84%D8%A7%D8%AE%D8%AA%D9%8A%D8%A7%D8%B1" title="بديهية الاختيار">بديهية الاختيار</a></li>
<li><a href="/w/index.php?title=%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A7%D8%AA_%D8%A7%D9%84%D8%B9%D8%A7%D9%85%D8%A9&action=edit&redlink=1" class="new" title="نظرية المجموعات العامة (الصفحة غير موجودة)">نظرية المجموعات العامة</a></li>
<li><a href="/w/index.php?title=Kripke%E2%80%93Platek_set_theory&action=edit&redlink=1" class="new" title="Kripke–Platek set theory (الصفحة غير موجودة)">Kripke–Platek set theory</a></li>
<li><a href="/w/index.php?title=Von_Neumann%E2%80%93Bernays%E2%80%93G%C3%B6del_set_theory&action=edit&redlink=1" class="new" title="Von Neumann–Bernays–Gödel set theory (الصفحة غير موجودة)">Von Neumann–Bernays–Gödel set theory</a></li>
<li><a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A7%D8%AA_%D8%AD%D8%B3%D8%A8_%D9%85%D9%88%D8%B1%D8%B3-%D9%83%D9%8A%D9%84%D9%8A" title="نظرية المجموعات حسب مورس-كيلي">نظرية مجموعة مورس-كيلي</a></li>
<li><a href="/w/index.php?title=Tarski%E2%80%93Grothendieck_set_theory&action=edit&redlink=1" class="new" title="Tarski–Grothendieck set theory (الصفحة غير موجودة)">Tarski–Grothendieck set theory</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D9%86%D9%85%D9%88%D8%B0%D8%AC" title="نظرية النموذج">نظرية النموذج</a></th><td class="navbox-list navbox-odd hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/w/index.php?title=%D8%A7%D9%84%D8%A8%D9%86%D9%8A%D8%A9_(%D9%85%D9%86%D8%B7%D9%82_%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A)&action=edit&redlink=1" class="new" title="البنية (منطق رياضي) (الصفحة غير موجودة)">البنية (منطق رياضي)</a></li>
<li><a href="/w/index.php?title=%D8%AA%D8%A3%D9%88%D9%8A%D9%84_(%D9%85%D9%86%D8%B7%D9%82)&action=edit&redlink=1" class="new" title="تأويل (منطق) (الصفحة غير موجودة)">تأويل (منطق)</a></li>
<li><a href="/w/index.php?title=Non-standard_model&action=edit&redlink=1" class="new" title="Non-standard model (الصفحة غير موجودة)">Non-standard model</a></li>
<li><a href="/w/index.php?title=%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D9%86%D9%85%D9%88%D8%B0%D8%AC_%D8%AA%D9%86%D8%A7%D9%87%D9%8A&action=edit&redlink=1" class="new" title="نظرية نموذج تناهي (الصفحة غير موجودة)">نظرية نموذج تناهي</a></li>
<li><a href="/wiki/%D9%82%D9%8A%D9%85%D8%A9_%D8%B5%D9%88%D8%A7%D8%A8" title="قيمة صواب">قيمة الحقيقة</a></li>
<li><a href="/wiki/%D8%B5%D8%AD%D8%A9_(%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82)" title="صحة (المنطق)">صحة</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D8%A8%D8%B1%D9%87%D8%A7%D9%86" title="نظرية البرهان">نظرية البرهان</a></th><td class="navbox-list navbox-even hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/wiki/%D8%A8%D8%B1%D9%87%D8%A7%D9%86_%D9%81%D9%84%D8%B3%D9%81%D9%8A" title="برهان فلسفي">برهان فلسفي</a></li>
<li><a href="/wiki/%D9%86%D8%B8%D8%A7%D9%85_%D8%B4%D9%83%D9%84%D9%8A" title="نظام شكلي">نظام شكلي</a></li>
<li><a href="/wiki/%D9%86%D8%B8%D8%A7%D9%85_%D8%B4%D9%83%D9%84%D9%8A" title="نظام شكلي">نظام شكلي</a></li>
<li><a href="/wiki/%D9%85%D8%A8%D8%B1%D9%87%D9%86%D8%A9" title="مبرهنة">مبرهنة</a></li>
<li><a href="/wiki/%D8%A7%D8%B3%D8%AA%D8%AA%D8%A8%D8%A7%D8%B9_%D9%85%D9%86%D8%B7%D9%82%D9%8A" title="استتباع منطقي">استتباع منطقي</a></li>
<li><a href="/w/index.php?title=%D8%B9%D9%84%D8%A7%D9%82%D8%A7%D8%AA_%D9%85%D8%AA%D9%86%D8%A7%D9%87%D9%8A%D8%A9&action=edit&redlink=1" class="new" title="علاقات متناهية (الصفحة غير موجودة)">علاقات متناهية</a></li>
<li><a href="/wiki/%D8%AA%D8%B1%D9%83%D9%8A%D8%A8_(%D9%85%D9%86%D8%B7%D9%82)" title="تركيب (منطق)">تركيب (منطق)</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D8%AD%D8%A7%D8%B3%D9%88%D8%A8%D9%8A%D8%A9" title="نظرية الحاسوبية">نظرية الحاسوبية</a></th><td class="navbox-list navbox-odd hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/wiki/%D8%B9%D9%88%D8%AF%D9%8A%D8%A9" title="عودية">استدعاء ذاتي</a></li>
<li><a href="/w/index.php?title=%D9%85%D8%AF%D9%89(%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA)&action=edit&redlink=1" class="new" title="مدى(رياضيات) (الصفحة غير موجودة)">مدى(رياضيات)</a></li>
<li><a href="/wiki/%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A9_%D9%85%D8%B1%D9%82%D9%85%D8%A9_%D8%A8%D8%B4%D9%83%D9%84_%D8%AA%D8%B1%D8%A7%D8%AC%D8%B9%D9%8A" title="مجموعة مرقمة بشكل تراجعي">مجموعة مرقمة بشكل تراجعي</a></li>
<li><a href="/w/index.php?title=%D9%85%D8%B4%D9%83%D9%84_%D8%A7%D9%84%D9%82%D8%B1%D8%A7%D8%B1&action=edit&redlink=1" class="new" title="مشكل القرار (الصفحة غير موجودة)">مشكل القرار</a></li>
<li><a href="/wiki/%D8%A3%D8%B7%D8%B1%D9%88%D8%AD%D8%A9_%D8%AA%D8%B4%D8%B1%D8%B4-%D8%AA%D9%88%D8%B1%D9%8A%D9%86%D8%BA" title="أطروحة تشرش-تورينغ">أطروحة تشرش-تورينغ</a></li>
<li><a href="/wiki/%D8%AF%D8%A7%D9%84%D8%A9_%D9%82%D8%A7%D8%A8%D9%84%D8%A9_%D9%84%D9%84%D8%AD%D8%B3%D8%A7%D8%A8" title="دالة قابلة للحساب">دوال حسابية</a></li>
<li><a href="/w/index.php?title=Primitive_recursive_function&action=edit&redlink=1" class="new" title="Primitive recursive function (الصفحة غير موجودة)">Primitive recursive function</a></li></ul>
</div></td></tr></tbody></table></div>
<div role="navigation" class="navbox" aria-labelledby="المنطق" style="text-align:right;;padding:1px"><table class="nowraplinks mw-collapsible mw-collapsed navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2" style="background:#ddf;"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r52500470"/><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-اعرض"><a href="/wiki/%D9%82%D8%A7%D9%84%D8%A8:%D9%85%D9%86%D8%B7%D9%82" title="قالب:منطق"><abbr title="عرض هذا القالب" style=";background:#ddf;;background:none transparent;border:none;box-shadow:none;padding:0;">ع</abbr></a></li><li class="nv-ناقش"><a href="/wiki/%D9%86%D9%82%D8%A7%D8%B4_%D8%A7%D9%84%D9%82%D8%A7%D9%84%D8%A8:%D9%85%D9%86%D8%B7%D9%82" title="نقاش القالب:منطق"><abbr title="ناقش هذا القالب" style=";background:#ddf;;background:none transparent;border:none;box-shadow:none;padding:0;">ن</abbr></a></li><li class="nv-عدل"><a class="external text" href="https://ar.wikipedia.org/w/index.php?title=%D9%82%D8%A7%D9%84%D8%A8:%D9%85%D9%86%D8%B7%D9%82&action=edit"><abbr title="عدل هذا القالب" style=";background:#ddf;;background:none transparent;border:none;box-shadow:none;padding:0;">ت</abbr></a></li></ul></div><div id="المنطق" style="font-size:114%;margin:0 4em"><a href="/wiki/%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82" title="المنطق">المنطق</a></div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">مقالات رئيسية</th><td class="navbox-list navbox-odd hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/wiki/%D9%81%D9%84%D8%B3%D9%81%D8%A9_%D8%A7%D9%84%D8%B9%D9%82%D9%84" title="فلسفة العقل">العقل الفلسفي</a></li>
<li><a href="/wiki/%D8%AA%D8%A7%D8%B1%D9%8A%D8%AE_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82" title="تاريخ المنطق">تاريخ المنطق</a></li>
<li><a href="/wiki/%D9%85%D9%86%D8%B7%D9%82_%D9%81%D9%84%D8%B3%D9%81%D9%8A" title="منطق فلسفي">منطق فلسفي</a></li>
<li><a href="/wiki/%D9%85%D9%86%D8%B7%D9%82_%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A" title="منطق رياضي">منطق رياضي</a></li>
<li><a href="/wiki/%D9%85%D8%A7_%D8%A8%D8%B9%D8%AF_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82" title="ما بعد المنطق">ما بعد المنطق</a></li>
<li><a href="/wiki/%D9%81%D9%84%D8%B3%D9%81%D8%A9_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82" title="فلسفة المنطق">فلسفة المنطق</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">مفاهيم مفتاحية</th><td class="navbox-list navbox-even hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/wiki/%D8%A7%D8%B3%D8%AA%D9%86%D8%AA%D8%A7%D8%AC" title="استنتاج">استنتاج</a></li>
<li><a href="/w/index.php?title=%D8%A7%D8%B3%D8%AA%D9%86%D8%AA%D8%A7%D8%AC_%D9%82%D9%8A%D8%A7%D8%B3%D9%8A&action=edit&redlink=1" class="new" title="استنتاج قياسي (الصفحة غير موجودة)">قياس</a></li>
<li><a href="/wiki/%D8%A7%D8%B3%D8%AA%D9%82%D8%B1%D8%A7%D8%A1_(%D8%AA%D9%88%D8%B6%D9%8A%D8%AD)" class="mw-disambig" title="استقراء (توضيح)">استقراء</a></li>
<li><a href="/w/index.php?title=%D9%85%D9%86%D8%B7%D9%82_%D9%84%D8%A7%D8%B4%D9%83%D9%84%D9%8A&action=edit&redlink=1" class="new" title="منطق لاشكلي (الصفحة غير موجودة)">منطق لاشكلي</a></li>
<li><a href="/wiki/%D8%A7%D9%81%D8%AA%D8%B1%D8%A7%D8%B6_(%D8%AA%D9%88%D8%B6%D9%8A%D8%AD)" class="mw-disambig" title="افتراض (توضيح)">افتراض</a></li>
<li><a href="/wiki/%D8%A7%D8%B3%D8%AA%D8%AF%D9%84%D8%A7%D9%84" title="استدلال">استدلال</a></li>
<li><a href="/wiki/%D8%AD%D8%AC%D8%A9_(%D9%85%D9%86%D8%B7%D9%82)" title="حجة (منطق)">حجة</a></li>
<li><a href="/wiki/%D8%AA%D9%81%D9%83%D9%8A%D8%B1_%D9%86%D9%82%D8%AF%D9%8A" title="تفكير نقدي">تفكير نقدي</a></li>
<li><a href="/wiki/%D9%85%D8%BA%D8%A7%D9%84%D8%B7%D8%A9" title="مغالطة">مغالطة</a></li>
<li><a href="/wiki/%D9%85%D9%86%D8%B7%D9%82_%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A" title="منطق رياضي">منطق رياضي</a></li>
<li><a href="/wiki/%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A9_(%D8%AA%D9%88%D8%B6%D9%8A%D8%AD)" class="mw-disambig" title="مجموعة (توضيح)">مجموعة</a></li>
<li><a href="/w/index.php?title=%D9%86%D8%AD%D9%88_(%D9%85%D9%86%D8%B7%D9%82)&action=edit&redlink=1" class="new" title="نحو (منطق) (الصفحة غير موجودة)">نحو</a></li>
<li><a href="/w/index.php?title=%D8%B3%D9%8A%D9%85%D8%A7%D9%86%D8%AA%D9%8A%D9%83_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82&action=edit&redlink=1" class="new" title="سيمانتيك المنطق (الصفحة غير موجودة)">سيمانتيك</a></li>
<li><a href="/w/index.php?title=%D8%B5%D9%8A%D8%BA%D8%A9_%D8%AC%D9%8A%D8%AF%D8%A9_%D8%A7%D9%84%D8%B4%D9%83%D9%84&action=edit&redlink=1" class="new" title="صيغة جيدة الشكل (الصفحة غير موجودة)">صيغة جيدة الشكل</a></li>
<li><a class="mw-selflink selflink">مسلمة</a></li>
<li><a href="/wiki/%D9%85%D8%A8%D8%B1%D9%87%D9%86%D8%A9" title="مبرهنة">مبرهنة</a></li>
<li><a href="/w/index.php?title=%D8%A8%D8%B1%D9%87%D8%A7%D9%86_%D8%A7%D9%84%D8%AA%D9%85%D8%A7%D8%B3%D9%83&action=edit&redlink=1" class="new" title="برهان التماسك (الصفحة غير موجودة)">التماسك</a></li>
<li><a href="/w/index.php?title=%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D9%83%D8%A7%D9%85%D9%84%D8%A9&action=edit&redlink=1" class="new" title="نظرية كاملة (الصفحة غير موجودة)">نظرية كاملة</a></li>
<li><a href="/w/index.php?title=%D9%82%D8%A7%D8%A8%D9%84%D9%8A%D8%A9_%D8%A7%D9%84%D9%82%D8%B1%D8%A7%D8%B1_(%D9%85%D9%86%D8%B7%D9%82)&action=edit&redlink=1" class="new" title="قابلية القرار (منطق) (الصفحة غير موجودة)">قابلية القرار</a></li>
<li><a href="/wiki/%D9%86%D8%B8%D8%A7%D9%85_%D8%B4%D9%83%D9%84%D9%8A" title="نظام شكلي">نظام شكلي</a></li>
<li><a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A7%D8%AA" title="نظرية المجموعات">نظرية المجموعات</a></li>
<li><a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D8%A8%D8%B1%D9%87%D8%A7%D9%86" title="نظرية البرهان">نظرية البرهان</a></li>
<li><a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D9%86%D9%85%D9%88%D8%B0%D8%AC" title="نظرية النموذج">نظرية النموذج</a></li>
<li><a href="/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D8%AD%D8%A7%D8%B3%D9%88%D8%A8%D9%8A%D8%A9" title="نظرية الحاسوبية">نظرية العودية</a></li>
<li><a href="/w/index.php?title=%D9%85%D9%86%D8%B7%D9%82_%D8%A7%D9%84%D8%B1%D8%AA%D8%A8%D8%A9_%D8%B5%D9%81%D8%B1&action=edit&redlink=1" class="new" title="منطق الرتبة صفر (الصفحة غير موجودة)">منطق الرتبة صفر</a></li>
<li><a href="/wiki/%D8%AF%D8%A7%D9%84%D8%A9_%D8%A8%D9%88%D9%84%D9%8A%D8%A7%D9%86%D9%8A%D8%A9" title="دالة بوليانية">دالة بوليانية</a></li>
<li><a href="/wiki/%D8%AD%D8%B3%D8%A7%D8%A8_%D8%A7%D9%84%D9%82%D8%B6%D8%A7%D9%8A%D8%A7" title="حساب القضايا">حسبان القضايا</a></li>
<li><a href="/wiki/%D8%AC%D8%AF%D9%88%D9%84_%D8%A7%D9%84%D8%AD%D9%82%D9%8A%D9%82%D8%A9" title="جدول الحقيقة">جداول الحقيقة</a></li>
<li><a href="/wiki/%D9%85%D9%86%D8%B7%D9%82_%D8%A7%D9%84%D8%B1%D8%AA%D8%A8%D8%A9_%D8%A7%D9%84%D8%A3%D9%88%D9%84%D9%89" title="منطق الرتبة الأولى">منطق الرتبة الأولى</a></li>
<li><a href="/wiki/%D9%85%D9%86%D8%B7%D9%82_%D8%A7%D9%84%D8%B1%D8%AA%D8%A8%D8%A9_%D8%A7%D9%84%D8%AB%D8%A7%D9%86%D9%8A%D8%A9" title="منطق الرتبة الثانية">منطق الرتبة الثانية</a></li>
<li><a href="/wiki/%D9%85%D9%86%D8%B7%D9%82_%D9%85%D9%88%D8%AC%D9%87%D8%A7%D8%AA" title="منطق موجهات">منطق طوري</a></li>
<li><a href="/w/index.php?title=%D9%85%D9%86%D8%B7%D9%82_%D8%A5%D8%A8%D8%B3%D8%AA%D9%8A%D9%85%D9%8A&action=edit&redlink=1" class="new" title="منطق إبستيمي (الصفحة غير موجودة)">منطق إبستيمي</a></li>
<li><a href="/w/index.php?title=%D9%85%D9%86%D8%B7%D9%82_%D8%B8%D8%B1%D9%81%D9%8A&action=edit&redlink=1" class="new" title="منطق ظرفي (الصفحة غير موجودة)">منطق ظرفي</a></li>
<li><a href="/w/index.php?title=%D9%85%D9%86%D8%B7%D9%82_%D9%83%D9%84%D8%A7%D8%B3%D9%8A%D9%83%D9%8A&action=edit&redlink=1" class="new" title="منطق كلاسيكي (الصفحة غير موجودة)">أنواع منطقية لاكلاسيكية</a></li>
<li><a href="/w/index.php?title=%D9%85%D9%86%D8%B7%D9%82_%D8%A7%D9%84%D8%AD%D8%B3%D9%88%D8%A8%D9%8A%D8%A9&action=edit&redlink=1" class="new" title="منطق الحسوبية (الصفحة غير موجودة)">منطق الحسوبية</a>
<ul><li><a href="/wiki/%D9%85%D9%86%D8%B7%D9%82_%D8%B6%D8%A8%D8%A7%D8%A8%D9%8A" title="منطق ضبابي">منطق ضبابي</a></li>
<li><a href="/w/index.php?title=%D9%85%D9%86%D8%B7%D9%82_%D8%AE%D8%B7%D9%8A&action=edit&redlink=1" class="new" title="منطق خطي (الصفحة غير موجودة)">منطق خطي</a></li></ul></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">جدليات</th><td class="navbox-list navbox-odd hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/wiki/%D9%85%D9%81%D8%A7%D8%B1%D9%82%D8%A9" title="مفارقة">مفارقة</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">شخصيات أساسية</th><td class="navbox-list navbox-even hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/wiki/%D8%A3%D8%B1%D8%B3%D8%B7%D9%88" title="أرسطو">أرسطو</a></li>
<li><a href="/wiki/%D8%AC%D9%88%D8%B1%D8%AC_%D8%A8%D9%88%D9%84" title="جورج بول">جورج بول</a></li>
<li><a href="/wiki/%D8%AC%D9%88%D8%B1%D8%AC_%D9%83%D8%A7%D9%86%D8%AA%D9%88%D8%B1" class="mw-redirect" title="جورج كانتور">جورج كانتور</a></li>
<li><a href="/wiki/%D8%B1%D9%88%D8%AF%D9%88%D9%84%D9%81_%D9%83%D8%A7%D8%B1%D9%86%D8%A7%D8%A8" title="رودولف كارناب">رودولف كارناب</a></li>
<li><a href="/wiki/%D8%AC%D9%88%D8%AA%D9%84%D9%88%D8%A8_%D9%81%D8%B1%D9%8A%D8%AC%D9%87" title="جوتلوب فريجه">جوتلوب فريجه</a></li>
<li><a href="/wiki/%D9%83%D9%88%D8%B1%D8%AA_%D8%BA%D9%88%D8%AF%D9%84" title="كورت غودل">كورت غودل</a></li>
<li><a href="/wiki/%D8%AF%D9%8A%D9%81%D9%8A%D8%AF_%D9%87%D9%8A%D9%84%D8%A8%D8%B1%D8%AA" title="ديفيد هيلبرت">ديفيد هيلبرت</a></li>
<li><a href="/wiki/%D8%AC%D9%88%D8%B2%D9%8A%D8%A8%D9%87_%D8%A8%D9%8A%D8%A7%D9%86%D9%88" title="جوزيبه بيانو">جوزيبه بيانو</a></li>
<li><a href="/wiki/%D8%AA%D8%B4%D8%A7%D8%B1%D9%84%D8%B2_%D8%B3%D8%A7%D9%86%D8%AF%D8%B1%D8%B2_%D8%A8%D8%B1%D8%B3" title="تشارلز ساندرز برس">شارل ساندرز پيرس</a></li>
<li><a href="/wiki/%D9%87%D9%8A%D9%84%D8%A7%D8%B1%D9%8A_%D8%A8%D9%88%D8%AA%D9%86%D8%A7%D9%85" title="هيلاري بوتنام">هيلاري پوتنام</a></li>
<li><a href="/wiki/%D8%A8%D9%8A%D8%B1%D8%AA%D8%B1%D8%A7%D9%86%D8%AF_%D8%B1%D8%A7%D8%B3%D9%84" title="بيرتراند راسل">بيرتراند راسل</a></li>
<li><a href="/wiki/%D8%A3%D9%84%D9%81%D8%B1%D9%8A%D8%AF_%D8%AA%D8%A7%D8%B1%D8%B3%D9%83%D9%8A" title="ألفريد تارسكي">ألفريد تارسكي</a></li>
<li><a href="/wiki/%D8%A2%D9%84%D8%A7%D9%86_%D8%AA%D9%88%D8%B1%D9%86%D8%BA" title="آلان تورنغ">آلان تورنغ</a></li></ul>
</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">قوائم</th><td class="navbox-list navbox-odd hlist" style="text-align:right;border-right-width:2px;border-right-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em">
<ul><li><a href="/w/index.php?title=%D9%82%D8%A7%D8%A6%D9%85%D8%A9_%D8%A7%D9%84%D9%85%D9%88%D8%A7%D8%B6%D9%8A%D8%B9_%D8%A7%D9%84%D8%A3%D8%B3%D8%A7%D8%B3%D9%8A%D8%A9_%D9%81%D9%8A_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82&action=edit&redlink=1" class="new" title="قائمة المواضيع الأساسية في المنطق (الصفحة غير موجودة)">مواضيع أساسية</a></li>
<li><a href="/wiki/%D9%82%D8%A7%D8%A6%D9%85%D8%A9_%D8%B9%D9%84%D9%85%D8%A7%D8%A1_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82" title="قائمة علماء المنطق">منطقيون</a></li>
<li><a href="/w/index.php?title=%D9%82%D8%A7%D8%A6%D9%85%D8%A9_%D9%82%D9%88%D8%A7%D8%B9%D8%AF_%D8%A7%D9%84%D8%A7%D8%B3%D8%AA%D8%AF%D9%84%D8%A7%D9%84&action=edit&redlink=1" class="new" title="قائمة قواعد الاستدلال (الصفحة غير موجودة)">قواعد الاستدلال</a></li>
<li><a href="/wiki/%D9%82%D8%A7%D8%A6%D9%85%D8%A9_%D8%A8%D9%85%D9%88%D8%A7%D8%B6%D9%8A%D8%B9_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82_%D8%A7%D9%84%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A" title="قائمة بمواضيع المنطق الرياضي">منطق رياضي</a></li>
<li><a href="/w/index.php?title=%D8%AB%D8%A7%D8%A6%D9%85%D8%A9_%D8%A7%D9%84%D9%85%D9%88%D8%A7%D8%B6%D9%8A%D8%B9_%D8%A7%D9%84%D8%A3%D8%B3%D8%A7%D8%B3%D9%8A%D8%A9_%D9%81%D9%8A_%D8%A7%D9%84%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA_%D8%A7%D9%84%D9%85%D8%AA%D9%82%D8%B7%D8%B9%D8%A9&action=edit&redlink=1" class="new" title="ثائمة المواضيع الأساسية في الرياضيات المتقطعة (الصفحة غير موجودة)">رياضيات متقطعة</a></li>
<li><a href="/w/index.php?title=%D9%82%D8%A7%D8%A6%D9%85%D8%A9_%D9%85%D9%88%D8%A7%D8%B6%D9%8A%D8%B9_%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D9%85%D8%AC%D9%85%D9%88%D8%B9%D8%A7%D8%AA&action=edit&redlink=1" class="new" title="قائمة مواضيع نظرية المجموعات (الصفحة غير موجودة)">نظرية المجموعات</a></li>
<li><a href="/wiki/%D9%82%D8%A7%D8%A6%D9%85%D8%A9_%D8%A7%D9%84%D9%85%D9%81%D8%A7%D8%B1%D9%82%D8%A7%D8%AA" title="قائمة المفارقات">مفارقات</a></li>
<li><a href="/wiki/%D9%82%D8%A7%D8%A6%D9%85%D8%A9_%D8%A7%D9%84%D8%B1%D9%85%D9%88%D8%B2_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82%D9%8A%D8%A9" title="قائمة الرموز المنطقية">رموز منطقية</a></li></ul>
</div></td></tr></tbody></table></div>
<ul class="bandeau-portail إعلام" id="bandeau-portail">
<li class="bandeau-portail-element"><span class="bandeau-portail-icone" style="margin-right:1em"><a href="/wiki/%D8%A8%D9%88%D8%A7%D8%A8%D8%A9:%D8%AA%D8%A7%D8%B1%D9%8A%D8%AE_%D8%A7%D9%84%D8%B9%D9%84%D9%88%D9%85" title="بوابة:تاريخ العلوم"><img alt="أيقونة بوابة" src="//upload.wikimedia.org/wikipedia/commons/thumb/d/df/Science_history_icon.svg/32px-Science_history_icon.svg.png" decoding="async" width="32" height="21" class="noviewer" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/d/df/Science_history_icon.svg/48px-Science_history_icon.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/d/df/Science_history_icon.svg/64px-Science_history_icon.svg.png 2x" data-file-width="400" data-file-height="260" /></a></span><span class="bandeau-portail-texte"><a href="/wiki/%D8%A8%D9%88%D8%A7%D8%A8%D8%A9:%D8%AA%D8%A7%D8%B1%D9%8A%D8%AE_%D8%A7%D9%84%D8%B9%D9%84%D9%88%D9%85" title="بوابة:تاريخ العلوم">بوابة تاريخ العلوم</a></span></li>
<li class="bandeau-portail-element"><span class="bandeau-portail-icone" style="margin-right:1em"><a href="/wiki/%D8%A8%D9%88%D8%A7%D8%A8%D8%A9:%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA" title="بوابة:رياضيات"><img alt="أيقونة بوابة" src="//upload.wikimedia.org/wikipedia/commons/thumb/2/26/Nuvola_apps_edu_mathematics-ar.svg/32px-Nuvola_apps_edu_mathematics-ar.svg.png" decoding="async" width="32" height="21" class="noviewer" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/2/26/Nuvola_apps_edu_mathematics-ar.svg/48px-Nuvola_apps_edu_mathematics-ar.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/2/26/Nuvola_apps_edu_mathematics-ar.svg/64px-Nuvola_apps_edu_mathematics-ar.svg.png 2x" data-file-width="190" data-file-height="124" /></a></span><span class="bandeau-portail-texte"><a href="/wiki/%D8%A8%D9%88%D8%A7%D8%A8%D8%A9:%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A%D8%A7%D8%AA" title="بوابة:رياضيات">بوابة رياضيات</a></span></li>
<li class="bandeau-portail-element"><span class="bandeau-portail-icone" style="margin-right:1em"><a href="/wiki/%D8%A8%D9%88%D8%A7%D8%A8%D8%A9:%D9%81%D9%84%D8%B3%D9%81%D8%A9" title="بوابة:فلسفة"><img alt="أيقونة بوابة" src="//upload.wikimedia.org/wikipedia/commons/thumb/8/8c/P_philosophy.svg/29px-P_philosophy.svg.png" decoding="async" width="29" height="28" class="noviewer" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/8/8c/P_philosophy.svg/44px-P_philosophy.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/8/8c/P_philosophy.svg/58px-P_philosophy.svg.png 2x" data-file-width="656" data-file-height="629" /></a></span><span class="bandeau-portail-texte"><a href="/wiki/%D8%A8%D9%88%D8%A7%D8%A8%D8%A9:%D9%81%D9%84%D8%B3%D9%81%D8%A9" title="بوابة:فلسفة">بوابة فلسفة</a></span></li>
<li class="bandeau-portail-element"><span class="bandeau-portail-icone" style="margin-right:1em"><a href="/wiki/%D8%A8%D9%88%D8%A7%D8%A8%D8%A9:%D9%85%D9%86%D8%B7%D9%82" title="بوابة:منطق"><img alt="أيقونة بوابة" src="//upload.wikimedia.org/wikipedia/commons/thumb/7/7c/Logic_portal.svg/32px-Logic_portal.svg.png" decoding="async" width="32" height="24" class="noviewer" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/7/7c/Logic_portal.svg/48px-Logic_portal.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/7c/Logic_portal.svg/64px-Logic_portal.svg.png 2x" data-file-width="287" data-file-height="218" /></a></span><span class="bandeau-portail-texte"><a href="/wiki/%D8%A8%D9%88%D8%A7%D8%A8%D8%A9:%D9%85%D9%86%D8%B7%D9%82" title="بوابة:منطق">بوابة منطق</a></span></li></ul></div>' |
ما إذا كان التعديل قد تم عمله من خلال عقدة خروج تور (tor_exit_node) | false |
طابع زمن التغيير ليونكس (timestamp) | '1668098977' |