>>371
>集合論の無矛盾性はペアノ算術に帰着するってこと？
そりゃあ無理でしょ。誰もそんなこと言ってないと思うし。
>>369のことなら、
ペアノの公理系
集合論＋論理の世界で自然数を構築
ペアノ算術
論理の世界に公理を導入して自然数を構築

ってことでしょ。ペアノ算術自体は集合が無くても作れる。
ペアノの公理系は、帰納法の部分で集合を使ってる。
当然集合なんて言う信頼性は遙かに劣るものを前提とするペアノの公理系よりは
ペアノ算術の方がこと論理の面では扱いやすい雰囲気はあるのだが、結局無矛盾であるとすれば、無矛盾性証明は自分ではできない。