式で表すと1より大きいnと、自然数a1,a2,…,an,b{\displaystylea_{1},a_{2},\dots,a_{n},b}に対して∑i=1naik=bk{\displaystyle\sum_{i=1}^{n}a_{i}^{k}=b^{k}}が成立する場合、n≥kである。
在自然演绎中，判断有形式A1,A2,…,An⊢B{\displaystyleA_{1},A_{2},\ldots,A_{n}\vdashB}这里的Ai{\displaystyleA_{i}}和B{\displaystyleB}是公式并且n≥0{\displaystylen\geq0}。