Assertion: argument's conclusion | /r/HasProperty | formulated by alvin plantinga
Facets:
Source sentences:
text: The conclusion of the ontological argument, as formulated by Alvin Plantinga and others, depends on a form of modal axiom S5 (which contends that if the truth of a proposition is possible, then it is possible in all worlds).