joseph_c comments on Gödel’s Ontological Proof

joseph_c 9 Dec 2025 0:19 UTC
1 point
0
Could you please link me to that formalization?
- GenericModel 9 Dec 2025 0:20 UTC
  2 points
  0
  Parent
  https://www.isa-afp.org/entries/Types_Tableaus_and_Goedels_God.html