It's not that strange at all. It's just like a clock with only two hours: 0 and 1. Take a look at this article: http://en.wikipedia.org/wiki/Modular_arithmetic
No, there are axioms that + and * must satisfy in order for (F, +, *) to be considered a field. Briefly, (F, +) must be an...