Usual math sets have special types: countable, compact, open, occasionally Borel, rarely projective, etc. Generic sets dependent on Power Set axiom appear mostly in esoteric areas, ST logic, etc. Dropping that Axiom may greatly simplify the foundations of mainstream math. Meanwhile dependence on it of a theorem is worth noting, as dependence on Choice often is.

翻译：通常的数学组有特殊类型:可计数、紧凑、开放、偶尔是博雷尔、很少投影等等。 依赖电源Set 轴的通用集解主要出现在学系地区,ST逻辑等。 放弃Axiom可能大大简化主流数学基础的观点。 同时值得注意的是,对理论的依赖,因为对选择的依赖经常如此。