15-定理是由约翰·何顿·康威（John Horton Conway，1937-）和W.A.Schneeberger于1993年证明的定理，内容为如果一个二次多项式可以通过变量取整数值而表示出1~15的值（更严格的结论是只要表示出1,2,3,5,6,7,10,14,15）的话（例如formula_1），该二次多项式可以通过变量取整数值而表示出所有正整数。