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