希爾伯特第十七問題

希爾伯特第十七問題 ， 是希爾伯特的23個問題之一 。 假設爲實係數多項式 ， 且對每個都有 ， 希爾伯特提出下述問題 ： 是否可能將表成實係數有理函數的平方和 ？ 此問題首先由埃米爾 · 阿廷於1927年給出肯定回答 ， 並開展了實封閉域的理論 ； 此後也有就模型論觀點的相關研究 ， 請參見下列文獻 。