Paradoxul lui Gödel este o teoremă matematică formulată de Kurt Gödel, care afirmă că în orice sistem formal care este suficient de complex încât să includă aritmetica, există enunțuri adevărate, dar care nu pot fi demonstrate ca fiind adevărate în acel sistem formal. Această teoremă subminează ideea că orice sistem formal poate fi complet și coerent.