... formalization(s) & instrument(s) ... -- ...
a twenty-year-old mathematiciancan have twenty centuries
of mathematics in his mind, because
formalization makes it possible
to acquire accumulated products of non-automatic
inventions, in the form of logical automatisms
that have become practical automatisms ...