「あれ？モデル構成して証明するの？でも
　集合論ないとモデルは構成できないじゃん！
　証明論の証明で集合論使っちゃっていいの？」
みたいなのが>>350の抱いた疑問ですか