一般用語集

一般用語集

こうりけい【公理系】

項目 こうりけい【公理系】
意味 数学の理論体系を構成するにあたって,その理論の基礎となっている公理の全体。公理系を構成する公理には無矛盾性が要求される。公理群。