410数学（1語）

この分類の用語

• 公理系こうりけいある形式体系において議論の前提として置かれる一連の公理の集まりのこと。