A set in which all the axioms for addition and multiplication hold but instead of $0≠1$, $0=1$? I'm quite stuck on wrapping my head around this question on linear algebra. I've just started studying it so I don't know too much about fields and such, but the only knowledge required for this question is the axioms for number systems.
The question I am doing is as follows:
"Define a paddock to be a set in which all the axioms for addition and multiplication hold, but instead of  $0\ne 1$, $0=1$. Find an example of a paddock, and prove that every paddock has just one element. Clearly the definition of a paddock is of no use outside of this exercise." 
The sets that instantly came to mind are $\{0\}$ and $\{1\}$, but possibly also the set $\{0,1\}$. 
$\{0\}$ would be the only logical set to pick if I wanted all the axioms for addition to hold (keeping in mind the axiom that states that for each $x \in S$, there exists a number $-x \in S$). 
However, would the set $\{{0\}}$ not be equivalent to the set $\{1\}$, because $0=1$? And if $0=1$ then wouldn't $1=2$, meaning $\{0\}=\{1\}=\{2\}=\{n\}$? 
Additionally, going back to my previous guesses, wouldn't the set $\{0,1\}$ be equivalent to $\{0,0\}$ and $\{1,1\}$? In which case $\{0,0\}$ would be a valid set, and hence a set containing an infinite amount of zeros or ones or even an infinite amount of any numbers would be valid too, as in the end everything is each other and also 0? I feel like I'm getting myself tangled into a huge confused loop. 
In any case, I'm unsure how to actually prove any of this - the fact that every paddock has just one element (even though I feel like a set with an infinite number of elements are allowed, but I could be completely wrong), or even what exactly the elements in the possible sets are. 
Any kind of help or pointers are appreciated! Thank you in advance!
 A: In any ring with at least two elements one has $0\ne 1$
If $0=1$, then take an arbitrary element $x$ and you have $x\cdot 0=x\cdot 1$, so $x=0$.
So what you call "paddock" is the Zero ring
A: Under the "axioms for multiplication and addition", i.e., the usual axioms for a ring, if $0 = 1$, then for any element $x$, we have $x = 1x = 0x = 0$. So a ring in which $0 = 1$ (i.e., a "paddock" according to the terminology of the question) has exactly one element.
The "paddock"/"field" joke is (I concede) an entertaining reminder that the axioms for a field always include $0 \neq 1$.
A: Suppose we have a paddock $(S, + , \cdot, 0_S, 1_S)$. Now consider two $x,y \in S$.
Then we have $x \cdot 0_S = y \cdot 0_S = 0_S$, since $0_S$ is the zero element. But since $0_S = 1_S$, we also have that $x \cdot 0_S = x \cdot 1_S = x$ and $y \cdot 0_S = y \cdot 1_S = y$. And this means that $x = y$. By transitivity of equality, we get that all elements in $S$ are equal. In other words, $S$ is a singleton set.
A: You are trying to hard thinking about the symbols $0$ and $1$ being god-given things.
You have a multiplicative identity and call it $1$.  We have an additive inverse and we call it $0$.  But in this case they are the same thing.  We'll call it $X$.  We'll call it $X_m$ when it is acting like the multiplicative inverse and we'll call it $X_a$ when it is acting like the additive inverse.  $X_m = X_a = X$ 
And we know by axioms that for any element $a$ that $a*X = a$ and $a + X = a$.
We need to prove that there is only one element.  If $a$ is any element at all then $a = X$.  That's it.  $X$ is all there is.
So suppose there is an element $a$.  Then $a*X_m   =a$ (that's the multiplicative identity).
Then $a+a = a*X + a*X = a(X+X)$ (that's the distributive property)
Then $a+a = a(X + X_a) = a*X = a$ (that's the additive identity: $k+X_a = k$ for any $k$)
so $a + a + (-a) = a + (-a)$ (every number has an additive inverse)
so $a + X_a = X_a$ (that the additive inverse: every number, $a$ has a corresponding number $-a$ so that $ a + (-a) = X_a$).
so $a + X_a = a = X_a$ (that's the additive identity: $a + X_a = a$).
So $a = X_a = X$.  All elements equal $X$ and so $X$ is the only element there is.
