置換公理ちかんこうり<ち'かん>・こう'り4

Math.Ersetzungsaxiom