column value
英文名稱 axiom of denumerability
中文名稱 可數公設;可數公理