Noun
axiomatisation (plural axiomatisations)
Alternative form of axiomatization
Although the first attempts at an axiomatisation of geometry appear in the Mohist canon in 330 BC, Liu Hui developed algebraic methods in geometry in the 3rd century AD and also calculated pi to 5 significant figures. Source: Internet
History The axiom schema of replacement was not part of Ernst Zermelo 's 1908 axiomatisation of set theory (Z). Source: Internet
The axiom of extensionality is generally uncontroversial in set-theoretical foundations of mathematics, and it or an equivalent appears in just about any alternative axiomatisation of set theory. Source: Internet
The axiom of empty set is generally considered uncontroversial, and it or an equivalent appears in just about any alternative axiomatisation of set theory. Source: Internet