Stav dette: A theory of formal deducibility