完全性定理
記事はありません。