We define the arithmetic intersection number of three modular divisors and interpret it from the point of view of algebraic stacks. A criterion is given when the intersection of three modular divisors is finite. Furthermore, the final result about the arithmetic intersection numbers, as given by Gross and Keating, is stated and the strategy of its proof, carried out in the subsequent chapters, is explained.