Rama de las matemáticas que tratan con las propiedades puramente lógicas de la probabilidad. Sus teoremas subyacen en la mayoría de los métodos estadísticos.