column value
英文名稱 axiom of completeness
中文名稱 完備性公設;完備性公理