as i mentioned above , this step was taken in the 4th century bce by leucippus and his more famous associate democritus , who is generally credited with the first systematic formulation of an atomic theory of matter .