בתורת הסיבוכיות, משפט PCP (באנגלית: PCP theorem. האותיות PCP הן ראשי תיבות של Probabilistically Checkable Proofs - הוכחות הניתנות לבדיקה הסתברותית) קובע כי לכל בעיית הכרעה ממחלקת הסיבוכיות NP יש הוכחות הניתנות לבדיקה הסתברותית (הוכחות שניתן לבדוק על ידי אלגוריתם אקראי) בעלת סיבוכיות בדיקה קבועה וסיבוכיות אקראיות לוגריתמית. מתוך ויקיפדיה

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

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