短语词组短语triangle axiom [数]三角形公理redundant axiom 冗余公理logical axiom [数]逻辑公理;逻辑公理coordinate axiom [数]坐标公理;坐标公理;翻译Independent Axiom [数]独立公理reducibility axiom [数]可约性公理;可约性公理excision axiom 切除公理 返回 axiom