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