置換公理

かん・こchikan·kōri4

N.
Math. Ersetzungsaxiom n n.