Stav dette: First-order logic