Planetary systems, under suitable general assumptions, admit positive measure sets of initial data" whose evolution give rise to the planets revolving on nearly circular and nearly co{planar orbits around their star. This statement (or more primitive formulations) challenged astronomers, physicists and mathematicians for centuries. In this article we shall review the mathematical theory (with particular attention to recent developments) needed to prove the above statement.