Stav dette: A tour through mathematical logic