Ergodic theory has applications to many different fields of mathematics, and it tends to look very different in each of these places. One of these fields is additive combinatorics. With an aim to demonstrate what ergodic theory looks like in this setting, I will present an ergodic-theoretic proof (due to Furstenberg) of Roth's theorem on arithmetic progressions.