従って、P(a,b,c)が"a·b=c"を表す述語で、Nが自然数の集合であるとすると、∃n∈NP(n,n,25){\displaystyle\exists{n}{\in}\mathbf{N}\,P(n,n,25)}という論理式が以下の文（真）を表すことになる。
所以如果P(a,b,c)是谓词"a·b=c"，而N是自然数的集合，则∃n∈NP(n,n,25){\displaystyle\exists{n}{\in}\mathbf{N}\,P(n,n,25)}是（真）陈述对于某些自然数n，n·n=25。