redundant axiom

基本解释

• [数学]冗余公理

专业释义

数学

• 冗余公理