Originally introduced by Georg Cantor, the axiom states that any predicate expression, P(x), which contains x as a free variable, will determine a set whose members are exactly those objects which satisfy P(x).
Orihinal na nagpasimula ng Georg Cantor, axiom ang mga estado na anumang mga pagpapahayag na totoo, P (x), na naglalaman ng x bilang ng isang libreng variable, ay matukoy ng isang set na ang mga miyembro ay eksakto ang mga bagay na magpapaniwala P (x).