>>971
できません
集まり、は上で述べた定義内において用います
記号の集まりや論理式の集まりがラッセルのパラドックスを起こすことはあり得ません

公理系とは論理式の集まりのことです

|や---は証明論におけるメタレベルにおいての記号です

メタレベルのわれわれの思考の道筋を論理式に書き起こしたとしても、その書き起こすこと自体が正しいのかどうか、などということはメタレベルでの話になってしまうので、現実問題を形式論理で解決することはできないのです
その際にはメタレベルでの考察が必要になります