column value
英文名稱 completeness of axiom system
中文名稱 公設系統的完備性