格罗莫夫教授的思路是这样的。

    把那十一万条恒等式，重新看成一套改写规则：每一种变换都是把一个式子改写成另一个式子的一步。

    这样问题就变成了这套规则会不会自相矛盾？

    而一套规则自不...