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

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