[notes] Probability

[notes] Calculus from ZF (not quite)