基礎の公理がないと超限帰納法が使えないって言っているけど、
wikiにある証明では基礎の公理なんて要らないように見える。

http://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E5%B8%B0%E7%B4%8D%E6%B3%95#.E8.B6.85.E9.99.90.E5.B8.B0.E7.B4.8D.E6.B3.95