(∀ P ∈ predicates, k ∈ ℕ, n ∈ ℕ: P(0) ∧ (∀ k: P(k) ⇒ P(k + 1)) ⇒ ∀ n: P(n)) ⇒ magic