This requires that our infinite family can be systematized in some algorithmic way. To be sure that such a systematization correctly does what it is supposed to do, we shall need to employ insights from outside the system – just as we did in order to see that Pk(k) was a true proposition in the first place. It is these insights that cannot be systematized – and, indeed, must lie outside any algorithmic action!
