动点定理生成定位最小不动点的算法。最小不动点通常有着合意的性质，是任意的不动点所没有的。在数理逻辑中，最小不动点常与做递归定义有关。这导致了描述复杂性的结果，复杂性类 P（在多项式数量的计算时间内可计算的所有问题）精确的等价于可以用带有最小不动点的一阶逻辑所表达的语言的集合。