La conjetura postula que la ecuación (1)
tiene un número finito de soluciones (a,b,c,m,n,k); aquí a, b, c son números enteros positivos coprimos y m, n, k son enteros positivos que satisfacen (2)
A fecha de 2008, se conocen las siguientes soluciones de (1):[1] La primera de ellas (1m+23=32) es la única solución donde una de las variables a, b o c es 1; esta es la conjetura de Catalan, demostrada en 2002 por Preda Mihăilescu.
Técnicamente, este caso produce un número infinito de soluciones de (1) (puesto que se puede escoger cualquier m para m>6), pero a los efectos de enunciado de la conjetura de Fermat-Catalan se contabilizarán todas esas soluciones como una sola.
Se conoce, mediante el teorema de Faltings, que para cualquier elección fijada de enteros positivos m, n y k que satisfacen (2), existe únicamente un número finito de tuplas de números enteros coprimos (a, b, c) que resuelven (1), pero claro, la conjetura de Fermat–Catalan completa es una afirmación mucho más fuerte.