Nonaxiomatizability

The property of a class of structures or a semantic property that it cannot be captured by any single effective (e.g., recursively enumerable) or finite set of axioms in a given formal language; no axiom system in that language characterizes exactly the intended class.