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