This post requires some context. This is not about math, which is the field that studies things like stochastic PDEs and elliptic curves. It's about the notatio

This post requires some context. This is not about math, which is the field that studies things like stochastic PDEs and elliptic curves. It's about the notation of predicate calculus, which is a somewhat obscure field of logic that used to be in vogue in the early 20th century, and that programmers fixate on for some strange reason.