TOPICS
Search

Universal Predicate


If the property of being an object is expressed by a basic predicate of the system, then such a predicate (if it exists) is called a universal predicate, or universal category.


Explore with Wolfram|Alpha

References

Curry, H. B. Foundations of Mathematical Logic. New York: Dover, p. 113, 1977.

Referenced on Wolfram|Alpha

Universal Predicate

Cite this as:

Weisstein, Eric W. "Universal Predicate." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/UniversalPredicate.html

Subject classifications