axiomatisation

English

Noun

axiomatisation (plural axiomatisations)

1. Alternative form of axiomatization
   • 2015, Arnaud Spiwack, “Notes on axiomatising Hurkens's Paradox”, in arXiv‎^[1]:

     An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..

French

Etymology

From axiomatiser +‎ -ation.

Pronunciation

• Audio:

  (file)

Noun

axiomatisation f (plural axiomatisations)

1. axiomatization

Further reading

• “axiomatisation”, in Trésor de la langue française informatisé [Digitized Treasury of the French Language], 2012.