axiomatisation

名词 n.
中文释义

英文释义

名词 n.
  1. Alternative form of axiomatization. alt-of,alternative
    — An axiomatisation of Hurkens's paradox in dependent type theory is given without assuming any impredicative feature of said type theory..

词形变化

axiomatisations plural
0 次浏览 数据来源: Wiktionary