述語論理を使って、
述語P(x)を満たす要素はちょうど3つ存在する
というのを証明せよ。
ということなのですが、一般的な述語Pxにそんなことできるのかすらわかりません。
ご教授お願いします。