ヒラリー・パトナム
Hilary Putnam has pointed out that for any Diophantine set formula_14 of positive integers, there is a polynomial