置換公理無いと、関数(の像)を集合として扱えないんじゃない?