He formulated De Morgan's laws and introduced the term mathematical induction, making its idea rigorous.
صاغ قوانين دي مورغان وقدّم مصطلح الاستقراء الرياضي، مما جعل فكرتها دقيقة.