Stav dette: Structure of probability theory with