雑談氏が、「IUT不成立だろHiladoの学位論文が・・・」といってるけど

ゲーデルの不完全性定理によって、
アッカーマンの学位論文である原始帰納的算術の無矛盾性証明が
原始帰納的算術以外の前提（ω^ω^ωの超限帰納法）を使ってる
ことが露見した、という逸話もある
（「ゲーデル　不完全性定理」岩波文庫　p228-231）