Russel and Whitehead attempted to formulate such a convention. Much of our computer science derives from this very idea.