Synthetic Differential Geometry is a method of reasoning in differential geometry and calculus, where use of nilpotent elements allows the replacement of the limit processes of calculus by purely algebraic notions. In this 2006 second edition of Kock's classical text, many notes have been included commenting on new developments.