可能补充在 share-math 中。

• 三条公理
• 布尔不等式
• 连续级函数
• 2.6a 概率与悖论
• 条件概率
• 3.2b
• page53，乘法规则
• 贝叶斯公式
• 3.3d