 Another departure from the traditional theory begins with the idea not that the theory is too strict, but that it is too liberal, that it permits definitions that are illegitimate. Thus, the traditional theory allows the following definitions of, respectively, “liar” and the class of natural numbers \(\mathbf{N}\):