>>24484913
So he learned it at the End of Time; where Everything ends up: the final wake up.
I imagine Godel will/would've sought Leibniz out there/then.