3 ms·

A great exposition on how mathematical thinking is performed is Imre Lakatos' Proofs and Refutations.