nLab example

Idea

In mathematics, an example for a proposition with a universal quantifier $\big({\forall}_{x \in X} \; P(x)\big)$ or an existential quantifier $\big(\underset{x \in X}{\exists}\; P(x) \big)$ is a term $x$ of type $X$ for which $P(x)$ is true (inhabited).

Examples

• examples of Kan extensions

• Every counterexample is an example of the negation of a proposition.

Related concepts

• theory

• axiom

• definition

• lemma

• proposition

• theorem

• proof

• counterexample

• conjecture

• folklore

• analogy

• paradox

See also

• archetypal example