2 ms·

I am reminded of https://github.com/FormalTheology/GoedelGod https://github.com/FormalTheology/GoedelGod