למת פודור

כל מה שרצית לדעת על למת פודור:
בתורת הקבוצות, למת פודור היא טענה האומרת כי לכל מונה סדיר שאינו בן-מנייה, קבוצת שבת S ופונקציה דוחסת על S, קיימת תת-קבוצה של S כך שהפונקציה מצומצמת לתת-הקבוצה היא קבועה.
הלמה הוכחה בצורתה המודרנית על ידי ג'זה פודור בשנת 1956.
גרסה חלשה יותר של הלמה הוכחה בשנת 1929 על ידי אוריסון ואלכסנדרוב.

נלקח מויקיפדיה

הגדרות נוספות הקשורות ללמת פודור:
•משפטים בתורת הקבוצות