Cantor%27s first set theory article#The proofs