The Mishchenko-Fomenko conjecture says that for each real or complex
finite-dimensional Lie algebra g there exists a complete set of commuting
polynomials on its dual space g*. In terms of the theory of integrable
Hamiltonian systems this means that the dual space g* endowed with the
standard Lie-Poisson bracket admits polynomial integrable Hamiltonian
systems. This conjecture was proved by S. T. Sadetov in 2003. Following his
idea, we give an explicit geometric construction for commuting polynomials
on g* and consider some examples. (This text is a revised version of my paper published in Russian: A. V. Bolsinov, Complete commutative families of polynomials in Poisson?Lie algebras: A proof of the Mischenko?Fomenko conjecture in book: Tensor and Vector Analysis, Vol. 26, Moscow State University, 2005, 87?109.)