He didn’t discover electricity, but if I recall correctly, he was the one to coin/define the positive(+)/negative(-) nomenclature, including what each of those actually means (i.e. the charge resulting from rubbing a certain type of fabric over a second material).