In de transcendentietheorie, een deelgebied van de wiskunde, geeft de stelling van Baker een ondergrens voor lineaire combinaties van logaritmen van algebraïsche getallen.
De stelling is bewezen door en vernoemd naar de Britse wiskundige Alan Baker. De stelling van Baker verzamelde vele eerdere resultaten in de transcendentale getaltheorie en loste een probleem op dat bijna vijftien jaar eerder door Aleksander Gelfond was gesteld. Baker gebruikte dit om de transcendentie van veel getallen te bewijzen, om doeltreffende grenzen af te leiden voor de oplossingen van sommige diofantische vergelijkingen en om het probleem op te lossen van het vinden van alle imaginaire kwadratische velden met klassegetal 1.