短語(yǔ)詞組短語(yǔ)triangle axiom [數(shù)]三角形公理redundant axiom 冗余公理logical axiom [數(shù)]邏輯公理;邏輯公理coordinate axiom [數(shù)]坐標(biāo)公理;坐標(biāo)公理;翻譯Independent Axiom [數(shù)]獨(dú)立公理reducibility axiom [數(shù)]可約性公理;可約性公理excision axiom 切除公理 返回 axiom