Mereology
article-link
What links here
Predicate (logic)
Supervenience
article-link
Formal concept analysis
article-link
List comprehension
article-link
Rule of inference
article-link
Predicate
article-link
Arithmetical hierarchy
article-link
Description logic
article-link
Function symbol
article-link
Equality (mathematics)
article-link
Identity (philosophy)
article-link
Proposition
article-link
Glossary of mathematical symbols
article-link
Axiom schema of specification
article-link
Gottlob Frege
article-link
Union (set theory)
article-link
Truth
article-link
Second-order predicate
article-link
Metaphysics
article-link
First-order predicate
article-link
Definable real number
article-link
Cardinality
article-link
Logical predicate
redirect