  The existence property has two distinct versions in the context of set theory: the numerical existence property (NEP) and the existence property (EP). Let \(\theta(x)\) be a formula with at most \(x\) free. We say that: