Motivation

gebundene (lokale) Variablen in der ...

• Analysis: $\int$x²dx,$\sum_{{k=0}}^{n}$k²
• Logik: ∀x∈A : ∀y∈B : P(x, y)
• Programmierung: static int foo (int x) { ... }