We will present Farkas' formulation of the theorem of alternative related to solvability of a system of linear inequalities and present one review of the proofs based on quite different ideas.