column value
英文名稱 comprehension axiom
中文名稱 概括公理