Gödelnek nen volt sejtése, ha jól tudom, ő "csak" egy fontos logikai tételt fogalmazott meg. (Minden axioma rendszerben létezik olyan állítás, melyhez nem lehet logikai igazságértéket rendelni (igaz-hamis)) S mivel ez bizonyítva vagyon, ennélfogva nem is sejtés,.

Fermat-nak több "sejtése" is volt, sokról bebizonyosodott, hogy hamis, néhányat viszont igazolni lehetett. A leghíresebb sejtése viszont a "Nagy Fermat sejtés", ezt kb 8-10 éve bizonyította Andrew Wiles, s ha minden igaz az erre kiírt ösztöndijjan kívül még egy Fields díjjat is bezsebelt érte. Az meg azt mondja ki, hogy ha a kitevők egyenlőek s nagyobbak, mint 2, akkor két pozitív egész hatvány összege nem lehet egyenlő egy harmadik pozitív egész hatványával.

A hárommal való osztás tulképpen csak speciális esete az n+1, n-1 problémának, azzaz egy n alapszámú számrendszerben ha a számjegyek összege osztható n-1 -el, akkor maga a szám is osztható vele, ha pedig nem, akkor az osztási maradékuk megegyezik. Ezt még a hinduk fedezték fel, s bizonyították valamikor a helyiértékes számrendszerük megalkotásakor.