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

למת הנזל, למת הנחש, למת הניפוח לשפות חופשיות הקשר, למת הניפוח לשפות חופשיות⁻הקשר, למת הניפוח לשפות רגולריות, למת הספירה, למת הרגולריות של סמרדי, למת לחיצות הידיים, למת פודור, למת רימן⁻לבג