A mediados del siglo XX, Kurt Gödel demostró sus famosos teoremas de incompletitud.