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

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