M_Foundation, YEM

The Machinery – Mathematics as Structure and Logic

A conceptual framework – the vocabulary formalization needs before it can say anything precisely Generalization makes a claim. Formalization gives