Timothy Gowers+22

私は望月の引数のプレゼンテーションで問題だ何を言うための一つの方法は、
彼らがあまりにも線形であるということだと思います。長く複雑な証明は、
通常の文と定義の多数で構成されます、そして、彼らは部分的に「用途」関係によって順序付けされます。
定理Bはその文または証明に定義Aを使用している場合、たとえば、定義Aが定理のBに先行します。

正式には、「用途」の関係はどの監督のサイクルを含むべきではない、
または同等の合計順に拡張することができることを非常に重要です。
しかし、1は優先順位のこの種を尊重する形で定義し、文を提示しなければならない
証拠明確なものを作るためのアサーションのためにこれを間違えてはいけません。
あなたがそれを行う場合は、何も普通の人が自分の頭の中で保持することはできません
定義し、それらへの明白な動機を持つ基本補題の長いリスト、で終わります。