公理系こうりけい<こう'り>･けい0

Math.Axiomensystem