ZFC集合論を作るときには述語理論の信頼性は仮定しているのに、
そのあとでの議論でなんで述語理論や自然演繹の完全性や健全性の議論が必要になるのか？