Talk:Axiom of power set

From Wikipedia, the free encyclopedia

Maybe somebody should add a note to the article explaining that the "subset" referred to is the notion of subset within the theory (in an attempt to ward off the confusion you typically get when somebody first hears that ZFC has countable models). -- Cwitty

isn't it possible to replace (∀ D, D ∈ C → D ∈ A) by C ⊂ A which I would find easier to understand.

not really, as ⊂ then needs to be defined, lengthening the statement --Henrygb 11:18, 12 October 2005 (UTC)