Logic of Infinity