Kurt Gödel (Brünn, Áustria-Hungria 28 de Abril de 1906 — Princeton, Estados Unidos, 14 de Janeiro de 1978) foi um matemático austríaco, naturalizado americano. O trabalho mais famoso de Gödel é seu teorema da incompletude, no qual afirma que qualquer sistema axiomático suficiente para incluir a aritmética dos números inteiros não pode ser simultaneamente completo e consistente. Isto significa que se o sistema é auto-consistente, então existirão proposições que não poderão ser nem comprovadas nem negadas por este sistema axiomático. E se o sistema for completo, então ele não poderá validar a si mesmo — seria inconsistente.