Before revision: In formal logic, nonfirstorderizability is the inability of an expression to be adequately captured in particular theories in first-order logic.
After revision: In formal logic, nonfirstorderizability is the inability of a natural-language statement to be adequately captured by a formula of first-order logic.