הפרדוקס של קנטור
ויקיפדיה האנציקלופדיה encyclopedia
הפרדוקס של קנטור הוא סתירה שנתגלתה בתורת הקבוצות הנאיבית. גילוי הסתירה מיוחס לאבי תורת הקבוצות עצמה, גאורג קנטור, שכנראה גילה אותה בין השנים 1895 ל-1899. פרדוקס זה, יחד עם פרדוקסים נוספים שהתגלו בתורת הקבוצות הנאיבית כגון הפרדוקס של ראסל והפרדוקס של בורלי-פורטי, נתנו מוטיבציה והובילו לפיתוחה של תורת הקבוצות האקסיומטית, שבה ניתן לתורת הקבוצות בסיס אקסיומטי מוצק, המונע הופעתן של סתירות אלו. הפרדוקס עוסק בקבוצת כל הקבוצות ומראה שקיומה גורם לסתירה.