Erdős' conjecture on arithmetic progressions can be viewed as a stronger version of Szemerédi's theorem.
Erdős' conjecture on arithmetic progressions can be considered a more rigorous version of Szemerédi's theorem.