メタ理論で選択公理出てこないだろ
勿論ZFCをメタ理論とするなら話は別だが