تعریف:عدد طبیعی p>1,pرا اول می نامند به شرطی که تنها مقسوم علیه های مثبت آن 1وp باشند. اگرعددی طبیعی وبزرگتر از 1اول نباشد مرکب است.

قضیه 1: تعداد اعداد اول نامتناهی است.

برهان: حکم را به روشی که منسوب به اقلیدس است اثبات می کنیم: فرض کنید تعداد اعداد اول متناهی و تعداد آنها n تا باشد . حال عدد M را که برابر حاصلضرب این اعداد به علاوه ی 1 را در نظر بگیرید. این عدد مقسوم علیهی غیر از آن n عدد دارد که با فرض در تناقض است.
(البته شایان ذکر است که این قضیه اثبات های گوناگونی دارد که ما ساده ترین آنها را انتخاب کردیم اگر مایلید می توانید اثبات های دیگر آن را بیاورید.)

قضیه 2:قضیه ی اساسی حساب: هر عدد طبیعی بزرگتر از 1 را به شکل حاصلضرب اعدادی اول نوشت.

قضیه 3: قضیه چپیشف:اگر n عددی طبیعی و بزرگتر از 2 باشد, حتما" بین n و 2n عدد اولی وجود دارد.