في الرياضيات، معادلة تيتشمولر-توكي (تسمى أحيانًا فقط معادلة توكي)، والتي سميت على اسم جون توكي وأوزوالد تيتشمولر، هي توطئة تنص على أن كل مجموعة غير خالية ذات طابع محدود لها عنصر أقصى فيما يتعلق بالمجموعة الجزئية. في نظرية المجموعات حسب تسيرميلو-فرانكل، فإن نظرية تيشمولر-توكي تعادل بديهية الاختيار، وبالتالي نظرية الترتيب الجيد ومبدأ زورن ومبدأ هاوسدورف الأقصى.[1]

المراجع

عدل
  1. ^ Jech، Thomas J. (2008) [1973]. The Axiom of Choice. Dover Publications. ISBN:978-0-486-46624-8.