∀(d>2, a, b, c): (a^d + b^d=c^d)→a¬∈ℤ∨b¬∈ℤ∨c¬∈ℤ

A tétel főleg szöveges formában:

Ez a Nagy Fermat-tétel, a következőt állítja: az aⁿ + bⁿ = cⁿ egyenletnek nincs megoldása az egész számok körében, ha n > 2. A tételt Andrew Wiles bizonyította 1994-ben, csaknem 350 évvel a sejtés megszületése után.*

* Több speciális n-re bizonyították előtte, Wiles így a páratlantermészetesszám-kitevőkre¹ való bizonyítással teljessé tehette a korábbi részeredményeket.