כל מה שרצית לדעת על משפט טרסקי:
בתורת הקבוצות האקסיומטית, משפט טַרְסְקִי, אותו הוכיח אלפרד טרסקי, מציג טענה השקולה לאקסיומת הבחירה: טרסקי הוכיח שאם מניחים רק את מערכת האקסיומות של צרמלו-פרנקל, אז אקסיומת הבחירה נובעת מן הטענה "לכל קבוצה אינסופית A {\displaystyle A} , עוצמתה של המכפלה הקרטזית   A × A {\displaystyle \ A\times A} שווה לזו של A {\displaystyle A} ", ובקיצור "   α 2 = α {\displaystyle \ \alpha ^{2}=\alpha } לכל עוצמה אינסופית".
הכיוון ההפוך היה ידוע עוד קודם לכן, וכך הטענה שקולה לאקסיומת הבחירה.
כאשר טרסקי הציע את המאמר לפרסום ב- Comptes Rendus Acad.
Sci.
Paris, דחה אותו מוריס פרשה בטענה שגרירה לוגית בין שתי טענות שהן נכונות ממילא, אינה תוצאה מעניינת.
אנרי לבג דחה אף הוא את המאמר, באומרו שהוא אינו מוצא כל עניין בקשר לוגי בין שתי טענות שקריות.
אפיזודה זו משקפת את הלוך הרוחות בין אנשי תורת הקבוצות בתחילת המאה העשרים, כאשר מעמדה של אקסיומת הבחירה היה שנוי במחלוקת.

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

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