Este argumento tiene como base el teorema de la incompletitud de Gödel, que habla de la imposibilidad de una demostración formal de una cierta proposición matemática, aunque para el entendimiento humano ésta sea de hecho verdadera.