Give a recursive definition of new quantifiers $=$n for n in N where given a set X and a predicate p$($x$),$ the logical formula

$=$nx in X$,$ p$($x$)$

means $$there are exactly n elements x in X such that p$($x$)$ is true$.$ That is$,$ define $=0,$ and then define $=$n$+1$ in terms of $=$n$.$