Han regnes som en av de mest innflytelsesrike logikerne gjennom tidene. Mest kjent er han for Gödels ufullstendighetsteoremer, som sier at et lukket system ikke kan bevises ut fra seg selv.