نظرية الأعداد في المنطق هي فرع من المنطق الرياضية يهتم بدراسة الخصائص الرياضية للأعداد، بما في ذلك الأعداد الصحيحة والأعداد الطبيعية والأعداد العقدية والأعداد الكسرية والأعداد التراجعية والأعداد الحقيقية والأعداد المركبة.
تتضمن نظرية الأعداد في المنطق دراسة العمليات الحسابية الأساسية مثل الجمع والطرح والضرب والقسمة، وأسس الجبر والهندسة الأساسية. كما تدرس أيضًا الأعداد الأولية والمتعددات والعمليات الناجمة عنها، مثل تحليل الأعداد إلى عواملها الأولية وتحديد الجذور والأسس.
يستخدم مفاهيم نظرية الأعداد في العديد من المجالات مثل علم الكمبيوتر والتشفير وعلم المال والإحصاء والعلوم الاجتماعية وعلم الفلك والفيزياء وعلم البيولوجيا وغيرها.