e/Unifying theories in mathematics

Information
has gloss	eng: There have been several attempts in history to reach a unified theory of mathematics. Some of the greatest mathematicians have expressed views that the whole subject should be fitted into one theory.
lexicalization	eng: Unifying theories in mathematics
instance of	(noun) reasoning from the general to the particular (or from cause to effect) synthesis, deductive reasoning, deduction