main characters: a conceptual outline of Leibniz's approach to infinity -- Leibniz in