推广到变量根本不提及数的变量的解，如在函数方程中。例如它声称对于"x"的所有的值有"f"("x")* "f"("x") = "f"("x")。如果论域由从实数轴R到自身的所有函数组成，则"f"的解是值是1和0的所有函数。但是如果论域由从R到自身的所有连续函数组成，则"f"的解只是有值1或0的常量函数。