A year later, he proved two important theorems, which showed Hibert's program to be unattainable in its original form.
その後、彼は二つの重要な定理を証明しており、ヒルベルト・プログラムはその元々の形では達成不可能であることがそれによって示された。