axiomatisation

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Noun[edit]

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[edit]

Etymology[edit]

axiomatiser +‎ -ation

Noun[edit]

axiomatisation f (plural axiomatisations)

  1. axiomatization