>>968
ん？すいません，よくわかりません。
素朴な「集まり」がどうやってラッセルのパラドックスを回避するのか具体的に教えてください。

公理系，|，-の定義は何ですか？

「メタレベルで証明の正当性を保証することができないこと」の証明をお願いします。