Comment by A_D_E_P_T

Yet the very notion of countability in ZFC, which is itself a first-order theory, is rendered completely relative by Löwenheim-Skolem. ZFC itself has a countable model.