Stav dette: Methods in mathematical logic