This directly relates to the argument within mathematics as to whether mathematics is based on ideas, or "merely" an exercise in formal symbol manipulation.
Ова се однесува директно на аргументот во рамките на математиката за тоа дали математиката е врз основа на идеи, или "само" на една вежба во официјалниот симбол на манипулацијата.