قضیه بیکر
در نظریه اعداد متعالی، قضیه بیکر (انگلیسی: Baker's theorem) تعمیمی بسیار کلیتر از این پرسش صورت مسئلهٔ مسئله هفتم هیلبرت (اینکه «اگر عددی جبری و عددی جبری ولی گنگ باشد آیا همواره متعالی است؟») برای هر فرم خطی از لگاریتم‌ها است. قضیهٔ بیکر به وسیله آلن بیکر در سال ۱۹۶۶ به اثبات رسید. بیکر به خاطر حل این مسئله مدال فیلدز سال ۱۹۷۰ را از آن خود کرد. قضیهٔ بیکر کاربرد وسیعی در شاخه‌های مختلف نظریه اعداد و به‌خصوص در حل معادله‌های دیوفانتی داراست.