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

משפט קנטור לרציפות במידה שווה, משפט קנטור שרדר ברנשטיין, משפט קנטור⁻בנדיקסון, משפט קנטור⁻ברנשטיין, משפט קנטור⁻שרדר⁻ברנשטיין, משפט קסוראטי ויירשטראס, משפט קסוראטי⁻ויירשטראס, משפט קסורטי ויירשטראס, משפט קסורטי⁻ויירשטראס, משפט קראיובה (1936)