Теория вероятностей . От Паскаля до Колмогорова
Первая четкая и окончательная формулировка теорема сложения вероятностей находится в работе Т. Байеса (1702–1761), носящей название «Опыт решения задач по теории вероятностей покойного достопочтенного мистера Байеса, члена Королевского общества.