[ultrafilter]

Set theorists have located the "end" for all practical and most impractical purposes. Let M be the minimal countable transitive model of ZFC. Declare a real to be useful if and only if it is in M.

[OscarCunningham]

This needs axioms beyond ZFC though. Even assuming ZFC is consistent isn't enough to know that there's a minimal countable transitive model.