column value
英文名稱 constructivity axiom
中文名稱 可建構性公設;可建構性公理