数学者の間では既に証明されたと認められている定理でも
完全証明のないものは、ジュルダンの閉曲線定理以外にも
非常に多い。例えばワイルズにより証明されたフェルマの
最終予想もその一つでしょう。この研究はそれらの定理に
完全証明が与えられるようになる第一歩となるのではない
か、と期待できる