ゲオルク・カントール
It is also known as Cantor–Bernstein theorem, or Cantor–Schröder–Bernstein, after Georg Cantor who first published it without proof.