公理型こうりがた<こう'り>・がた0

Math.Axiomenschema