I do appreciate the fun in trying to prove infinity and debating it's existence. There are people who debate the existence of "3" as well.
Speaking of infinity a few months ago Vi Hart put out a realativly new video about infinity that is fun.
http://vihart.com/how-many-kinds-of-infinity-are-there/Thanks for the link to the video. The timing is quite handy. DS7 is struggling with finding an infinity which has numeric properties (adding, subtracting, etc.) for a proof he wants to solve. We have not delved into the different types of infinity. YET.
