置換公理 - 他の言語