Johannes Kepler (1571-1630) is now chiefly remembered as a mathematical astronomer who discovered three laws that describe the motion of the planets. J.V. Field continues our series on the origins of proof with an examination of Kepler's astronomy.