یکی از صورت بندی های مربوط به برهان وجودی آنسلم، متعلق به اوپنهایمر و زالتا است که در مقاله ای مشترک، بر اساس منطق آزاد و مفهوم تصورپذیری، تقریری از این برهان ارائه داده اند. این صورت بندی بر دو مقدمه مبتنی است. نوشته حاضر، پس از ارائه گزارشی از تقریر اوپنهایمر و زالتا، به تحلیل یکی از مقدمات پرداخته و با گسترش مدل معنایی زالتا، استدلالی برای پشتیبانی از آن ارائه می دهد که بر دو مقدمه دیگر استوار خواهد بود. ادعا این است که این صورت بندی با متن آنسلم هماهنگی بیش تری دارد.