Stav dette: Mathematical foundations of statistical mechanics