تیاریمة فیرمه، 1) تیاریمة بزرگ فیرمه، تیاریمهای است، که هلهای بطون مثبت نداشتن معادلة دیافنت (n-عدد بطون مثبت از 2 کلان) را ثابت میکند. این تیاریمه را بار اوّل متیمتیک فرنسوی یه. فیرمه بیان کرده است. حالت خصوصی این تیاریمه برای بعهای قیمتهای n ثابت شده باشد هم، اثبات پُرّة آن برایه n-ا دلخواه تا حال معلوم نیست. خود فیرمه تصدیق نموده است، که او اثبات این تیاریمه را در کتابش «دیافنت-متیمتیک یونان قدیم» آوردنی شده است، ولی حجم کتاب امکان نداده است.
2) تیاریمة خرد فیرمه، یکی از تیاریمههای نظریة عددهاست، که موافق آن اگر ر عدد ساده و ا عدد بطون به ر تقسیمنشونده باشد، آن گه به ر همیشه تقسیم میشود، یعنی ست. تیاریمه را پ. فیرمه بیان و ل. اییلیر اثبات کرده است.