Kritik utama formalisme nakeuh bahwa pikeran-pikeran matematik aktual nyang ipeuduek matematikawan jioh dari permainan manipulasi string nyang iseubot di ateuh.