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

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