A general taxonomy of the most fundamental cognitive (metamathematical) mechanisms
used during mathematical creation/invention is presented. Additionally, formalizations of …