Eine Anmerkung, dass man die Hauptsätze auch aus der Statistik heraus beweisen kann (die Axiome also dort Sätze sind und so eine tiefere Rechtfertigung erlangen), wäre sicher auch nicht schlecht. -- Coma