空じゃなく無い
あるなら無矛盾
それが完全性定理