 If "K" is Hilbertian then the projective line over "K" is Hilbertian, so this may be taken as the definition.The rational number field Q is Hilbertian, because Hilbert's irreducibility theorem has as a corollary that the projective line over Q is Hilbertian