Seol mar théacs é seo: The natural axiom system of probability theory