Assertion: argument's conclusion | /r/Desires | a form of modal axiom s5
Facets:
Source sentences:
text: The conclusion relies on a form of modal axiom S5, which states that if something is possibly true, then its possibility is necessary (it is possibly true in all worlds).
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).