構成可能性公理 こうせいかのうせいこうり <こう'せい・か'のう'せい>・こう'り 10

Math. Konstruierbarkeitsaxiom