Stav dette: Lecons de logique formelle