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

משפט הפרפר, משפט הצפיפות הכללי, משפט הצפיפות של צ'בוטרב, משפט הקומפקטיות, משפט הקוסינוסים, משפט הקופים, משפט הקופים (מחזה), משפט הקופים (סרט), משפט הקטגוריה של בייר, משפט הקטעים המקוננים