"Gottfried Leibniz" . "Logical consequence" . "Sets of real numbers" .