>>81が指摘しているように
解釈可能関係で同値なものは第二不完全性の観点からは区別する必要はない。
そして>>84が指摘しているように
帰納法が全く入っていない体系(Qなど)と帰納法のある体系がこの意味で同値になることがある。
つまり

***帰納法の有無は第二不完全性に影響しない***

わけなのだけれど、ということは>>88のいう
＞第二不完全性定理を（知られているやり方で）証明するためには
＞帰納法がある程度必要になる、というのがコンセンサスかと
はどんな素人間のコンセンサスかよ、という話になる。