Here's the explicit description of what a field is:
A field is an ordered triple $(F,+,\times)$, where $F$ is a set, $+$ and $\times$ are binary operations (functions $F\times F\to F$; we use infix notation and write $a+b$ instead of $+(a,b)$, and similarly with \times), such that:
- +$ is associative: $(a+b)+c = a+(b+c)$ for all $a,b,c\in F.
- There is an element 0\in F$ such that for all $a\in F$, $a+0=0+a=a.
- For every a\in F$ there exists $b\in F$ such that $a+b=b+a=0.
- +$ is commutative: for all $a,b\in F$, $a+b=b+a.
- \times$ is associative: for all $a,b,c\in F$, $a\times(b\times c)=(a\times b)\times c.
- \times$ distributes over $+$ on the left: for all $a,b,c\in F$, $a\times(b+c) = (a\times b)+(a\times c).
- \times$ distributes over $+$ on the right: for all $a,b,c\in F$, $(b+c)\times a = (b\times a) + (c\times a).
- There exists an element 1\in F$ such that for all $a\in F$, $1\times a = a\times 1 = a.
- For every a\in F$, if $a\neq 0$ then there exists $b\in F$ such that $a\times b = b\times a = 1.
- \times$ is commutative: for all $a,b\in F$, $a\times b = b\times a.
- 0\neq 1.
Suppose we only consider the first 10 conditions. Then we can take F=\{0\}$, and define $+$ to be $0+0=0$, and $\times$ to be $0\times 0 = 0$. Then $(\{0\},+,\times)$ staisfies the first 10 axioms, if we interpret $1$ to mean $0$. That is, (8) above does not require that the element we call $1$ be different from the element we called $0$ in (2). Without the requirement that they be different (which is given in (11)), $(\{0\},+,\times) is a perfectly fine "field".
Note that if 0=1$ in a field, then automatically we get that every element of the field is $0$; that is, we just have one element: by (2), we have $0+0=0$. By (6), for all $a\in F$ we have $a\times 0 = a\times (0+0) = (a\times 0)+(a\times 0)$. Then using (3) there exists $b$ such that $b+(a\times 0)$; adding to both sides of the equation we get $0 = b+(a\times 0) = b+\Bigl((a\times 0)+(a\times 0)\Bigr) = \Bigl(b+(a\times 0)\Bigr)+(a\times 0) = 0+(a\times 0) = a\times 0,$ so $a\times 0 = 0$ for all $a\in F$. But since $0=1$, by (8) we also have $a=a\times 1 = a\times 0 = 0$. So every element of $F$ is $0.
So we just have two possibilities: either everything is 0$, or else $0\neq 1.
Why do we object to the first possibility? Turns out that this object behaves very differently from every other field; a lot of results become too cumbersome to state when we keep having to exclude the field with 0=1$ explicitly. And for some of the most important uses of fields, the field with $0=1$ is useless. So rather than keep dragging it along, not using it, and excluding it from most results explicitly, we just kick it out of the club by requiring that $0\neq 1$ hold in a field.
Nonetheless, it turns out that there are some situations where the "one element field" is useful! This is called the field with one element and plays an important role in noncommutative geometry and as a unifying concept.