A mathematical system is distinguished by the fact that it seeks to derive a large number of very complex conclusions from a small number of primitive propositions, employing a small number of primitive ideas.