The theory of fields is an <a href="http://en.wikipedia.org/wiki/Decidability_(logic)#Some_undecidable_theories">undecidable theory</a>, and so one cannot give a computable procedure for deciding whether a given statement in the formal language of fields is true or not in all fields. This is a sense in which this theory is not fully understood. Indeed, the situation is that we have proved that we can have no computably complete understanding of the theory of fields.

The theory of fields is not what is called *essentially undecidable*, however, since the theory of fields has a complete decidable extension, namely, the theory of [real-closed fields](http://en.wikipedia.org/wiki/Real_closed_field), which is decidable. (There are also many other trivial extensions of the theory that are decidable, such as the theories of various specific finite fields.)

Furthermore, James Ax proved that [the theory of finite fields is decidable](http://www.jstor.org/discover/10.2307/1970573?uid=2&uid=4&sid=21101780854093). Thus, we have a computable procedure to decide whether a given statement is true or not in all finite fields, which is surely shows a very good measure of understanding in that context. (Thanks for correction of my earlier remark by Donu Arapura.)