確率論の性質の検証:具体例による公理的適用性の示唆