my understanding is that rorty is using the strong sense of “intrinsic/essential”, as in some a priori gödel-proof theory of numerical forms not relative to axioms going back to the first screenshot: “mathematicians can in fact produce a mechanism for generating all the true descriptions of 17…”