The Mathematical Theory of Infinity