同様に、Q(n)が「nは偶数である」を表す述語とすると∃n∈N(Q(n)∧P(n,n,25)){\displaystyle\exists{n}{\in}\mathbf{N}\,{\big(}Q(n)\;\!
类似的，如果Q(n)是谓词"n是偶数"，则∃n∈N(Q(n)∧P(n,n,25)){\displaystyle\exists{n}{\in}\mathbf{N}\,{\big(}Q(n)\;\!