，它使用递归定义。在zh-hans:程序; zh-hant:程式语言的指称语义，一个克纳斯特－塔斯基定理的特例用于建立递归定义的语义。不动点定理虽然适用于“相同”函数（从逻辑的角度来看），但其理论发展完全不同。递归函数的相同定义可用在可计算性理论中给出。这些结果并不是等价的定理，克拉斯特尔－塔斯基定理是个比那用于指称语义的更强的结果。然而，它却与丘奇－图灵论题的直观含义相同：一个递归函数可描述为特定泛函的最小不动点，将函数映射至函数。迭代函数找不动点的技术还可用在集理论；指出任何严格递增