ProbabilityAxioms
:FrequencyProbability -- PersonalProbability -- EclecticProbability
(These axioms are just the most elementary way to define probabilities. Other axiom schema are used with non-discrete points.)
:FrequencyProbability -- PersonalProbability -- EclecticProbability
(These axioms are just the most elementary way to define probabilities. Other axiom schema are used with non-discrete points.)