The German mathematician Georg Cantor (1845-1918), who laid the foundation of modernset theory, utilized the idea of "one-to-one correspondence" as a way of "counting" the members of a set. Thus he defined a finite set as either the empty ...