History of Solar System formation and evolution hypotheses the asteroids. Terrestrial planets would have no major moons which does not account for Luna. It predicts certain observations such as the similar angular velocity of Mars and Earth with similar rotation periods and axial tilts. In this scheme there are 6 principal planets: 2 terrestrial, Venus and Earth, 2 major, Jupiter and Saturn, and 2 outer, Uranus and Neptune; and 3 lesser planets: Mercury, Mars, and Pluto. This theory has a number of problems, such as explaining the fact that the planets all orbit the Sun in the same direction, which would appear highly unlikely if they were each
Stability of the Solar System is unlikely any of the planets will collide with each other or be ejected from the system in the next few billion years, and the Earth's orbit will be relatively stable. Since Newton's law of gravitation (1687), mathematicians and astronomers (such as Laplace, Lagrange, Gauss, Poincaré, Kolmogorov, Vladimir Arnold and Jürgen Moser) have searched for evidence for the stability of the planetary motions, and this quest led to many mathematical developments, and several successive 'proofs' of stability of the Solar System. The orbits of the planets are open to long-term variations. Modeling the Solar System is a case of the