研究社新英和大辞典 ページ 217438 での【・the axiom of replacement 置換公理.】単語。