Fodor's lemma
ریاضی میں، خاص طور پر سیٹ تھیوری میں، فوڈور کا لیما مندرجہ ذیل بیان کرتا ہے: اگر ایک باقاعدہ، بے شمار کارڈینل ہے، ایک ساکن ذیلی سیٹ ہے، اور رجعت پسند ہے (یعنی کسی کے لیے بھی) تو کچھ اور کچھ ساکن ہے جیسے کسی کے لیے بھی۔ جدید بول چال میں غیر مستحکم آئیڈیل نارمل ہے۔ لیما کو سب سے پہلے 1956 میں ہنگری کے سیٹ تھیوریسٹ گیزا فوڈور نے ثابت کیا تھا۔ اسے بعض اوقات "دبانے والا نیچے لیما" بھی کہا جاتا ہے۔ ثبوت ہم یہ فرض کر سکتے ہیں کہ (اگر ضروری ہو تو 0 کو ہٹا کر)۔ اگر فوڈور کا لیما غلط ہے، تو ہر ایک کے لیے کچھ کلب سیٹ ہوتا ہے۔ جانے دیں۔ کلب کے سیٹ اخترن چوراہے کے نیچے بند ہوتے ہیں، اسی طرح کلب بھی ہوتا ہے اور اس لیے کچھ ہوتے ہیں۔ پھر ہر ایک کے لیے، اور اس طرح ایسا کوئی نہیں ہو سکتا کہ، اس طرح، ایک تضاد ہو۔ فوڈور کا لیما تھامس جیچ کے اسٹیشنری سیٹوں کے تصور کے ساتھ ساتھ اسٹیشنری سیٹ کے عمومی تصور کے لیے بھی ہے۔ درختوں کے لیے فوڈور کا لیما ایک اور متعلقہ بیان، جسے فوڈور کا لیما (یا دبانا-نیچے-لیما) بھی کہا جاتا ہے، مندرجہ ذیل ہے: ہر غیر خصوصی درخت اور رجعت پسند نقشہ سازی کے لیے (یعنی، ہر ایک کے لیے، ترتیب کے حوالے سے)، ایک غیر خصوصی ذیلی درخت ہوتا ہے جس پر مستقل ہوتا ہے۔ حوالہ جات جی۔ فوڈور، عین بیمرکنگ زر تھیوری ڈیر ریگریسوین فنکٹیونین، ایکٹا سائنس۔ ریاضی۔ سیجڈ، 17 (1956)، 139-142۔ کیرل ہربیسک اور تھامس جیچ، انٹروڈکشن ٹو سیٹ تھیوری، تیسرا ایڈیشن، باب 11، سیکشن 3۔ مارک ہاورڈ، ووٹس کنجیکچر پر فوڈور کے لیما کی ایپلی کیشنز۔ این۔ خالص اور ایپل۔ منطق 42 (1): 1-19 (1989)۔ سائمن تھامس، آٹومورفزم ٹاور کا مسئلہ۔ ایس ٹوڈورسیویک میں پوسٹ اسکرپٹ فائل، سیٹ تھیوری میں مشترکہ ڈائکوٹومیز۔ سیٹ تھیوری میں لیما کے ثبوت پر مشتمل مضامین پر پی ڈی ایف