分出公理ぶんしゅつこうり<ぶん'しゅつ>・こう'り5

Math.Aussonderungsaxiom