De-morgan-augustus definition

British mathematician who rigorously defined the technique of mathematical induction and greatly contributed to the development of symbolic logic.