>>8
>ZFC集合論を作るときには述語理論の信頼性は仮定しているのに、

信頼性とは何か？無矛盾性のことか？

ああ、そうそう、「述語理論」ではなく「述語論理」。

述語論理の無矛盾性は自然数論で証明できる。
自然数論の無矛盾性が自然数論では証明できず、
他の理論を必要とするというだけのことだが。