公理図式
from
置換公理
公理図式
https://ja.wikipedia.org/wiki/公理型