On Power Set Axiom
share
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.
READ FULL TEXT