すみません。ちょっと質問させてください。

置換の公理だけは"図式"を用いてしか定義できないのでしょうか?