Comment by UncombedCoconut

You can, as long as your first-order statement is in the language of set theory, by translating "there does not exist a bijective function f: N->R".