The T predicate is primitive recursive in the sense that there is a primitive recursive function that, given inputs for the predicate, correctly determine the truth value of the predicate on those inputs.
Also from the same page:
This states there exists a primitive recursive function U such that a function f of one integer
From the page you link:
Also from the same page: