La congettura abc (anche nota come congettura di Oesterle-Masser) è stata proposta per la prima volta da Joseph Oesterlé e David Masser nel 1985. La congettura è definita in funzione di tre numeri interi positivi (da cui deriva il nome), privi di fattori comuni diversi da , e che soddisfino la relazione . Se è definito come il prodotto dei fattori primi distinti di , la congettura, essenzialmente, afferma che raramente è molto più piccolo di .
Sebbene non esista alcuna strategia elementare per risolvere il problema, la congettura è ritenuta molto importante per il numero di conseguenze interessanti che ne derivano. Dorian M. Goldfeld ha definito la congettura abc come "il più importante problema irrisolto dell'analisi diofantea"[1].