With Aristotle you could formalize a proof from only the text of a paper.