Georg Cantor initiated his theory of sets in order to provide a mathematical treatment of infinite sets.
More generally, informal notions like set, and particularly finite set, may receive interpretations across a range of formal systems varying in their axiomatics and logical apparatus.