公理系

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