In mathematics, non-abelian class field theory is a catchphrase, meaning the extension of the results of class field theory, the relatively complete and classical set of results on abelian extensions of any number field K, to the general Galois extension L/K. While class field theory was essentially known by 1930, the corresponding non-abelian theory has never been formulated in a definitive and accepted sense.[1]