Benfords Law

https://www.scientificamerican.com/article/what-is-benfords-law-why-this-unexpected-pattern-of-numbers-is-everywhere/

Journalist Manon Bischoff documents efforts by Blaise Pascal, René Descartes, Kurt Gödel and others to investigate the nature of God. Gödel, in fact, wrote an ontological proof in the mid 20th century that attempted to use logic to establish that God exists. Later a computer algorithm determined that his chain of reasoning was unassailable—in other words, God must exist. The caveat, though, is that the proof only works if you accept Gödel’s initial assumptions.