Proper noun
the Ax-Kochen theorem
(mathematics) A theorem stating that for each positive integer d there is a finite set Yd of prime numbers, such that if p is any prime not in Yd then every homogeneous polynomial of degree d over the p-adic numbers in at least d+1 variables has a nontrivial zero.