此列表可以扩展至包含大多数的数学领域，如公理化集合论、测度论、遍历理论、机率论、表示理论和微分几何等。
算术.皮亚诺公理是一阶算术最广被使用的「公理化」。这套公理的强度足以证明许多数论中重要事实，以及允许哥德尔建立他着名的哥德尔不完备定理。设有一语言formula_23，其中，formula_24是一个常数符号且formula_25是一个一元函数且满足如下公理：其标准结构为formula_31，其中formula_32为自然数的集合、formula_25为后继函数，且fo