To understand this rigorous proof that there is no one-to-one correspondence betwee integers and points on a line, suppose we encounter a ChartMaker (CM) who wants to try to create this one-to-one correspondence. He presents a chart that looks like this: Integer Point 1 ...