information theory; lebesgue integration; measure theory; probabilistic systems; proof theory; reliability; statistical properties; theorem proving; verification;