axiomatisation

English

Noun

axiomatisation (plural axiomatisations)

  1. Alternative form of axiomatization
    • 2015, Arnaud Spiwack, “Notes on axiomatising Hurkens's Paradox”, in arXiv‎:
      An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..

French

Etymology

axiomatiser +‎ -ation

Noun

axiomatisation f (plural axiomatisations)

  1. axiomatization
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.