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

This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.