A
cardinal number κ is called
totally indescribable iff for every
proposition φ and every A ⊆ V
κ with (V
κ, ∈, A) ⊧ φ there exists an α < κ with (V
α, ∈, A ∩ V
α) ⊧ φ.
All Wikipedia text
is available under the
terms of the GNU Free Documentation License