公理主義こうりしゅぎ<こう'り>・しゅ'ぎ4

Math.LogikAxiomatismus