日本数学会が言うには「彼の結果はヒルベルトの企図を直接否定するものではなく,実際この定理の発見後に無矛盾性証明のための様々な方法論が開発されている」。