Mathematical formulations and propositions in mathematical logic are based on axioms, and hence these fields are often referred to as pure disciplines.

• 数学公式和数学逻辑命题是建立在公理基础上，而因此这些领域通常指如纯学科那样。