There are three laws:
- Kepler’s First Law of Planetary Motion
- Kepler’s Second Law of Planetary Motion
- Kepler’s Third Law of Planetary Motion
Kepler’s laws were formulated based on empirical observation and exhaustive analysis, but a few decades later, in 1687, Isaac Newton was able to prove them by means of calculus, his second law of motion and his law of universal gravitation. This work was published in the Principia Mathematica.