Os primeiros reformadores redescobriram o significado bíblico da palavra justificação. Perceberam que isso significava “declarar justo” em vez de “tornar justo”.

A controvérsia pelagiana foi oficialmente resolvida em favor de Agostinho por vários concílios nos séculos V e VI. Ficou evidente que o pecado de Adão impactou toda a sua posteridade e que a salvação era pela graça de Deus somente.

O Sínodo de Dort resolveu oficialmente a controvérsia arminiana dentro das igrejas reformadas holandesas, mas o arminianismo em si não deixou de existir, nem deixou de levantar desafios à soteriologia cristã.