Even the | predicate implicitly involves a quantifier: p | q is equivalent to ∃k ∈ Z : p k = q. Rewrite Goldbach’s conjecture without using the | predicate either—that is, use only quantifiers and...

Even the | predicate implicitly involves a quantifier: p | q is equivalent to ∃k ∈ Z : p k = q. Rewrite Goldbach’s conjecture without using the | predicate either—that is, use only quantifiers and standard arithmetic symbols (+, , ≥, etc.)