괴델의 불완전성 정리
충분히 강력한 형식 체계는 스스로의 진리 여부를 모든 문장에 대해 증명할 수 없으며, 새 axioms 도입이 곧 모순으로 귀결될 수 있음을 보이는 이론으로, 이 실험에서 문제를 다른 방향으로 재설정하는 근거로 사용된다.