xiom sstem n. 1 【論理】 公理体系《一群の公理と定理の派生に必要な変形規則; 以上から得られる定理・規則の全体としての体系》. 2 【数学】 公理系《理論の前提となる公理の集まり》.