というか加法と乗法がきちんと入ってれば
限定算術で出て来るような理論 T でも
第二不完全性のcoding自体が出来れば、
Con(T) が証明できないという事自体は正しいはず。
但しPAやIΣ1のときと同じ証明法が成立しないというだけで。

ただモデル理論とか集合論の人とか、そういうことに興味が薄い人はいると思うけどね。