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)
