んなことない
強制法とかの普通の集合論を展開するためには
基礎の公理があった方が便利なのは確か

AFAを使って命題の独立性を示せたなんていう
画期的なニュースは今のところ無い