完全性定理はある条件のもとで成り立っている。
その条件とは何だろう。