column value
英文名稱 countability axiom
中文名稱 可數性公理