Richard Dedekind's major contribution was a redefinition of irrational numbers in terms of Dedekind cuts. He introduced the notion of an ideal in Ring Theory.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Dedekind/
