It can be like that though. Bertrand Russell and his Principia Mathematica basically does exactly that.