Every field must have infinitely many elements

The set $\{0, 1\}$ with addition and multiplication modulo 2 is a field

In any field, $1 + 1 = 2$ always

Division is defined for all elements in a field