  The purpose of this article is to explain the Pila-Zannier strategy for
proving the Andr\'e-Oort conjecture. First, however, we will provide a brief
introduction to the theory of Shimura varieties.
