So if a Π 1 0 {\displaystyle \Pi _{1}^{0}} sentence is such that neither it nor its negation is provable in one of these systems, that sentence must be true.
پس اگر یک جملهٔ Π 1 0 {\displaystyle \Pi _{1}^{0}} طوری باشد که نه خودش و نه نقیضش در یکی از این سیستم‌ها قابل اثبات باشد پس جمله باید درست باشد.