Statistics for Philosophy of mathematics : an introduction to the world of proofs and pictures