نظریه اعداد ۰۵ الگوی اثبات توسط اصل استقرا نظریه اعداد ۰۶ الگوی اثبات توسط اصل خوش ترتیبی نظریه اعداد ۰۴ اثبات معادل بودن اصول بنیادی نظریه اعداد ۳