column value
英文名稱 first axiom of countability ; first countability axiom
中文名稱 第一可數[性]公設;第一可數[性]公理