>>531
まず、「証明可能な命題」はある
それ以外のうち、「証明不可能なことが証明可能な命題」はある
さらにそれ以外のうち、「証明不可能なことが証明不可能なことが証明可能な命題」はある
で、ゲーデル命題は、体系が無矛盾なら
「証明不可能なことが証明不可能なことが証明不可能なことが・・・」
な命題。