Before revision: In other words Plantinga shows that (1–4) are not on their own contradictory, and that any contradiction must originate from an atheologian 's implicit unstated assumptions, assumptions representing premises not stated in the argument itself.
After revision: In other words Plantinga shows that (1–4) are not on their own contradictory, and that any contradiction must originate from a theologian 's implicit unstated assumptions, assumptions representing premises not stated in the argument itself.