תורת הטיפוסים – הבדלי גרסאות

'''תורת הטיפוסים''' היא טכניקה שפיתחו [[ברטרנד ראסל]] ו[[אלפרד ווייטהד]] בספרם המונומנטלי [[פרינקיפיה מתמטיקה (ראסל)|פרינקיפיה מתמטיקה]], כדי להתגבר על [[הפרדוקס של ראסל]]. הרעיון הבסיסי של השיטה הוא שלכל אובייקט מתמטי יש 'טיפוס', המודד באופן מסוים את רמת המורכבות של האובייקט. בפרט, קבוצה הכוללת אברים מטיפוס מסוים, היא בהכרח בעלת טיפוס גבוה יותר - וכך נמנעת ההתייחסות העצמית העומדת ביסוד הפרדוקס.