משפט אימרמן (Immerman–Szelepcsényi) הוא תוצאה בתורת הסיבוכיות (ענף במדעי המחשב) המראה כי מחלקות סיבוכיות מקום אי דטרמיניסטיות סגורות לפעולת המשלים (בעוד אותה שאלה עבור סיבוכיות זמן עודנה פתוחה וככל הנראה התשובה לה שלילית). המשפט הוכח בשנת 1987 באופן בלתי תלוי בידי ניל אימרמן ו⁻Róbert Szelepcsényi, אשר זכו ב⁻1995 בפרס גדל על תוצאה זו. מתוך ויקיפדיה

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