The Systematic Codification of Formal Logic