En 1931, Kurt Gödel demostró sus dos famosos teoremas de incompletitud.