不完全性定理

ゲーデルの不完全性定理

文(論理式)で使われる記号を、自然数に置き換えることができること。(1対1対応させるだけなのでこれは単純に可能)