短语词组短語triangle axiom [數]三角形公理redundant axiom 冗餘公理logical axiom [數]邏輯公理;邏輯公理coordinate axiom [數]坐標公理;坐標公理;繙譯Independent Axiom [數]獨立公理reducibility axiom [數]可約性公理;可約性公理excision axiom 切除公理 返回 axiom