Sorry, the article you're looking for isn't specifically available. Here are related topics:
tables Predicate First-order · Quantifiers · Predicate · Second-order · Monadic predicate calculus Set theory Set · Empty set · Enumeration · Extensionality ·...