Not first-order, not easy.
Why the blog is named after a theorem about finiteness, and what it's for.