- 記号: $\forall$ - すべての・任意の を意味する - 例: $\forall x: P(x)$: 全ての$x$について、$P(x)$が成り立つ