Infinite sets are a useful abstraction, but uncountable infinities can probably be avoided since the Löwenheim-Skolem[0] theorem says that any countable first-order theory has a countable model.

[0] https://en.wikipedia.org/wiki/Löwenheim-Skolem_theorem