そこから記述計算量の結果として、複雑性クラスP（多項式時間で計算可能な問題のクラス）は一階述語論理に最小不動点を追加したもので表される言語の集合と正確に一致する。
这导致了描述复杂性的结果，复杂性类P（在多项式数量的计算时间内可计算的所有问题）精确的等价于可以用带有最小不动点的一阶逻辑所表达的语言的集合。