axiomatisation

A1X8I1O1M3A1T1I1S1A1T1I1O1N1

A form of axiomatization — The reduction of some system or concept to a set of axioms.

Scrabble 23
Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounaxiomatisation (plural axiomatisations)

plural axiomatisations

  1. alternativeAlternative form of axiomatization.

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

    2015, Arnaud Spiwack, “Notes on axiomatising Hurkens's Paradox”, in arXiv
Cite this entry
APA

axiomatisation. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/axiomatisation

MLA

“axiomatisation.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/axiomatisation. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “axiomatisation,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/axiomatisation.

Source: axiomatisation on Wiktionary, CC BY-SA 4.0.