康德是德国著名哲学家，同时也是一位有重大贡献的自然科学家。他积极探索天体的起源及其运动变化的规律，提出了关于太阳系自然形成的理论。这一理论是( )。