Skip to main content

Use this tag for questions about the logical concept of predicativism, which is the rejection of self-referential definitions, or impredicativity. This may be used to refer to the implementation of polymorphism or induction/recursion in some systems.

Wikipedia