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

Math. Aussonderungsaxiom