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

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

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

而一套规则自不...