finished kolmogorov axiome