公理系
【こうりけい】
【kourikei】
公理系统