Hüperonüümid:
jumalatõestus 1(n)
transtsendentaalne jumalatõestus 1(n)

jumalatõestus, mis võtab eelduseks, et jumal on olemasolevate asjade võimalikkuse tingimus