Existence properties for first-order number theory are all finitely checkable — Steemit