Stav dette: The elements of mathematical logic