形式对数理论开始讲起，我在费马的丢番图猜想证明那篇论文里提到这这个理论，并且对我自己提出的理论进行了证明。
我相信你们在知道我要来之后，也对它做了一番研究，知道它能用在丢番图方程和超越数理论方面。
比如catalan猜想，即 ax?by=1a^x - b^y = 1ax?by=1的整数解非常有限，可以用它来解决。
无论是基本概念还是应用范围，我相信大家都做了功课，有一定了解。
因此我想在这里给各位讲讲动机。”