Advances in economics result from new ideas, but economists have no formal tools to generate such ideas. Yet logical processes for idea generation exist and can be applied to economic theorising. If an economic problem is reframed as a proof problem, economists can use familiar logical tools to...