De-morgan-augustus meaning

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