Our work addresses the long-standing issue of the relationship between mathematics and language. By scanning professional mathematicians, we show that high-level mathematical reasoning rests on a set ...