公理体係
【こうりたいけい】
【kouritaikei】
公理系统