>>978
記号や論理式の集まりが，ラッセルのパラドックスを起こさないことを示してください。

メタレベルで解決してよいことと，解決してはいけないことの基準は何でしょうか？

>>986
貴方のやっていることが高等すぎるので，皆さん説明を求めているのです。