Strenge Beweisführung der Wahrscheinlichkeitsaxiome