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

תורת החיסון, תורת החישוביות, תורת החלונות השבורים, תורת החרקים, תורת החשמל והמגנטיות הקלאסית, תורת היחסות, תורת היחסות הכללית, תורת היחסות המיוחדת, תורת היחסות הפרטית, תורת היש