Sorry, the article you're looking for isn't specifically available. Here are related topics:
Monadic predicate calculus Set theory Set · Empty set · Enumeration · Extensionality · Finite set · Function · Subset · Power set · Countable set · Recursive...