Teoremele lui Gödel sunt două teoreme importante din logica matematică. Ele arată că, în orice sistem formalizat care este suficient de puternic să includă și aritmetica elementară, există afirmații care sunt adevărate, dar nu pot fi demonstrate prin metode formale. Consecința acestei teoreme este că există limite în ceea ce privește puterea de exprimare a sistemelor logice și a rațiunii umane în general.