I 1931 snudde Kurt Gödel hele det rådende matematiske verdensbildet på hodet ved å bevise at ethvert formelt system enten er utilstrekkelig eller fører til selvmotsigelser. Dette medfører ikke at de matematiske setningene som allerede er bevist blir ugyldige, men Gödels oppdagelse viser at det er enkelte setninger og problemer som ikke kan bevises i matematikken. Som en følge av dette begynte matematikere å forsøke å finne ut hvilke setninger som ikke kunne bevises, og man så ikke bort fra at Fermats siste setning kunne være et slikt ubeviselig problem. Da den britisk-amerikanske matematikeren Andrew Wiles i 1995 presenterte et bevis på dette 350 år gamle problemet, var det et av århundrets aller viktigste resultater i matematikken.