是希尔伯特的23个问题之一。德国数学家希尔伯特希望数学界能够证明：formula_1这个方程式的七个解，若表成系数为formula_2的函数，则此函数无法简化成两个变数的函数。1957年，苏联数学家安德雷·柯尔莫哥洛夫（）的学生、当时19岁的弗拉基米尔·阿诺尔德（）解决了这个问题。柯尔莫哥洛夫证明每个有多个变元的函数可用有限个三变元函数构作。阿诺尔德按这个结果研究，证明两个变元已足够。之后阿诺尔德和日本数学家志村五郎发表了一篇论文（"Superposition of algebraic function