Are there any notable mathematical or logical issues within Christoph Benzmüller and Bruno Woltzenlogel-Paleo formalized Gödel's ontological proof that has been identified by the community?
Christoph Benzmüller and Gödel's ontological proof?
Hadibinalshiab
- 21
- 2