可換環論のどこが難しいのでしょうか？

小平邦彦さんが以下のように書いています：

「形式主義によれば、数学はそれ自身は意味をもたない記号を
与えられたルールに従って並べて行くゲームに過ぎない」

証明を読むということは記号列を読むということになるかと思います。

ある記号列が人間にとって難しく感じられ、
ある記号列が人間にとって簡単に感じられる
のはなぜでしょうか？