公理群こうりぐん<こう'り>・ぐん3

Math.Axiomensystemkōri·kei公理系