取个体域为实数集 R，记 P(x)：x>0，Q(x, G)：x<-G，S(x,y,z)：|x-y|则（4）可翻译成谓词公式 AεP(ε)EGP(G)Ax(Q(x, G)→S(f(x),a,ε)) 这里 A 为 “任意”，E 为 “存在”。
