(Bertrand Russell, Mysticism and Logic, 1918).
"In our private life as in our collective life there is no other truth than a statistical one."
-- Simone de Beauvoir
“We now know that there exist true propositions which we can never formally prove. What about propositions whose proofs require arguments beyond our capabilities? What about propositions whose proofs require millions of pages?
Or a million, million pages? Are there proofs that are possible, but beyondus?”
(Calvin Clawson, Mathematical Mysteries).