For each n, Peano arithmetic can prove that P(n) is true, but Peano arithmetic cannot prove the statement "P(n) is true for all n".
برای هر n ریاضیات پینو می‌تواند ثابت کند که (P(n درست است اما ریاضیات پینو نمی‌تواند این بیانیه را ثابت کند "(P(n درست است برای هر n".