完全性定理
【かんぜんせいていり】
【kanzenseiteiri】
完全性定理