>>115,116
ではゲーデルが作ったらしい「自分が証明できない」という内容の論理式は命題?