'''Twierdzenie Starka-Heegnera''' (również '''Bakera-Heegnera-Starka''') – twierdzenie z [[Teoria liczb|teroriiteorii liczb]] ściśle określające, które [[Ciało kwadratowe|ciała kwadratowe]] pozwalają na [[Pierścień z jednoznacznością rozkładu|jednoznaczny rozkład]] w ich [[Pierścień liczb całkowitych|pierścieniu liczb całkowitych]]. Rozwiązuje przypadek szczególny problemu [[Carl Friedrich Gauss|Gaussa]] zwanego [[Problem liczby klas|problemem liczby klas]] wyznaczania liczby ciał kwadratowych urojonych, które mają ustaloną [[Grupa klas ideałów|liczbę klas]].