|
تضامنًا مع حق الشعب الفلسطيني |
معادلة تيتشمولر-توكي
اذهب إلى التنقل
اذهب إلى البحث
 | هذه مقالة غير مراجعة. (نوفمبر 2023) |
في الرياضيات، معادلة تيتشمولر-توكي (تسمى أحيانًا فقط معادلة توكي)، والتي سميت على اسم جون توكي وأوزوالد تيتشمولر، هي توطئة تنص على أن كل مجموعة غير خالية ذات طابع محدود لها عنصر أقصى فيما يتعلق بالمجموعة الجزئية. في نظرية المجموعات حسب تسيرميلو-فرانكل، فإن نظرية تيشمولر-توكي تعادل بديهية الاختيار، وبالتالي نظرية الترتيب الجيد ومبدأ زورن ومبدأ هاوسدورف الأقصى.[1]
المراجع
- ^ Jech، Thomas J. (2008) [1973]. The Axiom of Choice. Dover Publications. ISBN:978-0-486-46624-8.
