 In predicate logic, if P is a predicate  over the natural numbers, it is expressed as : That is, if P is decidable, and it cannot be false for every natural number n, then it is true for somen .
<clarity>  In predicate logic, if P is a predicate  over the natural numbers, it is expressed as : That is, if P is decidable, and it cannot be false for every natural number n, then it is true for somen .
 In predicate logic, if P is a predicate For a decidable predicate P over the natural numbers, it is expressed as : That is, if P is decidable, and it cannot be false for every natural number n, then it is true for somen .