Logicism is the school of thought the regards pure mathematics as a part of logic .The major proponent of this view are G.Leibniz. G Frege (1893) , B.Russell (1919),A.N. Whitehead and R. Carnap (1931). At the hands of Bertrand Russell the claims of logicism received the clearest and most explicit formulation. There are two claims: