Because this standard of ontological presupposition did not emerge clearly in the philosophical tradition, the modern philosophical mathe maticians have not on the whole recognized that they were debating the same old problem of universals in a newly clarified form.