بررسی تصمیم پذیری نظریه ضرب اعداد طبیعی

نظريه ضرب اعداد طبيعی نظريه ای از مجموعه اعداد طبيعی با عمل ضرب است. در اين مقاله تصميم پذيری (يعنی مراحلی تصميم گيری و الگوريتمی وجود دارد که برای ھر جمله ϕ از زبان L تعيين می کند که T ⊢ ϕ يانه) بررسی می شود. برای اين منظور ھم چنين نظريه جمع اعداد طبيعی را مطالعه می کنيم و ارتباط تصميم پذيری نظريه جمع اعداد طبيعی با نظريه ضرب اعداد طبيعی را نشان خواھيم داد.