fermat teoremi  

kısaca x^n+y^n=z^n (n>2) olmak üzere her n degeri icin (x,y,z) den oluşan bir çözüm kümesi bulunamaz diyen teorem.
fermatın bunu kitabının bir köşesine yazdığı ve de not olarak ta 'yerim olmadığı için çözümünü buraya yazmadım' şeklinde yazdığı anlatılagelir.

küçük teorem:

x^(p-1) = 1 (mod p); x doğal sayı, p asal sayı ve gcd(x, p) = 1

büyük teorem:

x^n+y^n = z^n; x, y, z, n doğal sayı ve n > 2

küçük teorem kriptolojiyi de kapsayan çok büyük bir uygulama alanına sahiptir. büyük ise bir şeye yaramaz, şimdilik.

star trek the next generation serisinin ikinci sezonunda atıfta bulunulan teorem. kaptan jean luc picard "800 yıldır çözülmeye çalışılan teorem." diye bahsediyor bundan. senaristlerin teorem hakkındaki beklentileri ne yazık ki boşa çıkmış.

1993 yılında matamatikçi andrew wiles tarafından kanıtlanmış, fermat'nın son teoremi olarak bilinen teorem.

x, y, z, n doğal sayı ve n>2 olmak üzere, x^n+y^n = z^n eşitliğinin çözüm kümesinin boş küme olduğunu söyler.