完全性公理
【かんぜんせいこうり】
【kanzenseikouri】
正合性公理