置換公理って集合論やそれに近い分野以外で必要になる場面はありますか？