> since most HN readers should know who Cantor and Dedekind are.

Show up with your hands here if you didn’t know either Cantor or Dedekind.