Feedback loops and formal systems