N.{{G}}.~de {{Bruijn}}'s Contribution to the Formalization of Mathematics