Spin-wave theory suggests that low-temperature properties of the Heisenberg model can be described in terms of noninteracting quasiparticles called magnons. In my talk, I will review the basic concepts and predictions of spin-wave approximation and report on recent rigorous results in that direction.