Stav dette: A precis of mathematical logic