Anselmus van Kantelberg: Verskil tussen weergawes

Dié bewys word in die [[twintigste eeu]] geformaliseer met behulp van die modale logika deur [[Kurt Gödel]]. Hoewel die konstruksie logies juis is, volg die konklusie nie logies nie, aangesien die mens homself nie iets perfek kan voorstel nie, waaruit logies volg dat diegeen wat voorgestel word ook daadwerkelikdaadwerklik moet bestaan.