私の素朴な感覚は、
   数学基礎論における議論で選択公理や正則性公理などのZFCの公理(とZFCから演繹される結果)を使うのは気持ち悪い
ということ一言に尽きます