エフェソス公会議
この点でアウグスティヌスやヒエロニムスはペラギウス主義を批判し、416年のカルタゴ会議などで異端として排斥され、さほどな重要な問題とは思われてはいなかったが431年のエフェソス公会議で異端である事が再確認された。