g(x,z)=h(x,z,z)の間違いです。y<z+1およびx<z+1とすべきです。h(x)=a(h'(x),0)の間違いです。等号に関する公理が不足しています。∃x(Formula[x]∧¬Provable[x])の間違いです。展開した結果が間違っています。8行目から10行目は、正しくは、以下のようになります。φφは一点集合{φ}と定義することができます。Aφは一点集合{φ}と定義することが一般的です。φφは空列から成る一点集合に等しいと考えた方が自然です。φφも未定義にした方がよいと考えていました。離散的な場合は、数学においても00=1と考えるのが一般的です。括弧の中の説明は、00が未定義であるという強引で間違った議論に他ありません。φφは{φ}にもφにもすることができてしまう、と主張しています。A≠φという条件が必要とされます。「矛盾していると考えることもできる」という言い方は不適切でした。