Statistics for Philosophy of mathematics