The Logic of Infinity