Telefona gönder: A theory of formal deducibility