>>786
それも「っていうことかい？」演算子のスコープに入っているのでは？

>>791
論理式や証明を扱うのがメタレベルなら、
超準的な論理式や証明が出てくるのはもう一つ上のメタメタレベルでは？
>>794がいうように何か変。

>>794
最後の3行、まじ日本語でok

>>795
釣りか？マジなのか？