El teorema de Gödel es una declaración sobre cuáles teoremas "eventualmente" resultarían sistemas matemáticos, donde "eventualmente" significa después de un tiempo arbitrario.