הפרדוקס של בורלי-פורטי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
אין תקציר עריכה
שורה 1:
'''פרדוקס בורלי-פורטי''' הוא [[פרדוקס]] שהציע ה[[מתמטיקאי]] ה[[איטלקי]] [[סיזאר בורלי-פורטי]] בשנת [[1897]].
הפרדוקס מראה כי אוסף כל ה[[מספר סודר|סודרים]] גדול מכדי להוות קבוצה ב[[תורת הקבוצות]], בדומה ל[[פרדוקס ראסלקנטור]], הקובע שאוסף כל הקבוצות גדול מכדי להוות קבוצה.
 
== הוכחה==