New evidence that Cantor plagiarized Dedekind?
(news.ycombinator.com)
1.
2.
Set theory with types
(news.ycombinator.com)