In this talk, we'll introduce the formal definition of a game. We'll discuss the origin and history of the study of games, as well as a few examples. We'll then prove a classical theorem of Gale and Stewart regarding the existence of winning strategies for sufficiently simple games.