そう
メタレベルでいう｢集合｣とはなんなの？直観的、素朴な立場で考えている集合なのですかね？
その素朴な立場で捉えている集合に関して許される操作や命題ってどこまでのものが認められるんですかね

ZFCの無矛盾性すら証明されていないのに、メタレベルでの集合に関する操作として選択公理を使うのって明らかに気持ち悪いし。