Matijasevic's theorem, that all recursively enumerable sets are diophantine, was needed to prove that the set of primes is diophantine.
TonyK
- 2.3k
- 16
- 15