公理図式こうりずしき<こう'り>・ず'[Dev]しき4

Math.Axiomenschema