>>350
ゲーデル文は「この命題は証明不可能である」という形の命題
「嘘である(偽である)」と「証明不可能である」とは違うので、
クレタ人のパラドックスとは同じ構造ではない

> ただ条件を付け加えればいいだけなのに、
ゲーデル文 G を最初の体系 S に公理として付け加えても、
「この命題は体系 S+G で証明不可能である」
という別のゲーデル文 G' が存在するので、S+G も不完全

> どうしてこれが「理性の限界」
> になるのでしょうか？
不完全性定理は「理性」とは無関係