Title: A theory of formal deducibility