משפט האי⁻שכפול (באנגלית: No cloning theorem) האי⁻שכפול הוא משפט בתורת האינפורמציה הקוונטית. לפי המשפט, לא קיים אופרטור היוצר עותק זהה למצב קוונטי שרירותי. הוא נוסח על ידי ווטרס, וויצ'ך ז'ורק, ודיקס בשנת 1982, ובעל השלכות רבות על מחשוב קוונטי ותחומים דומים. מתוך ויקיפדיה

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

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

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