Yeah, seriously, what's the verdict? And where's the formalization itself? Show me the code, I have a whole worldview I need to re-evaluate here.

Edit: Seems like this is the code - https://github.com/FormalTheology/GoedelGod