数学における冪集合公理(べきしゅうごうこうり、axiom of power set)とは、公理的集合論のの一つである。ツェルメロ=フレンケルの公理系の形式言語において、この公理は次のように記述される::<math>\\forall A \\, \\exists P \\, \\forall B \\, [B \\in P \\iff \\forall C \\, (C \\in B \\Rightarrow C \\in A)]</math>ここで ''P'' は ''A'' の冪集合 <math>\\mathcal(A)</math> を表す。この公理を......
数学における冪集合公理(べきしゅうごうこうり、axiom of power set)とは、公理的集合論のの一つである。ツェルメロ=フレンケルの公理系の形式言語において、この公理は次のように記述される::<math>\\forall A \\, \\exists P \\, \\forall B \\, [B \\in P \\iff \\forall C \\, (C \\in ......