Cognitive science of mathematics