In particular, we identify five forms of knowledge of advanced mathematics for teaching: peripheral, evolutionary, axiomatic, logical, and inferential.