en inference rule (n)
― HasContext ⟶
Weight: 1.0
en proof theory Source: English Wiktionary
en axiom (n)
― HasContext ⟶
Weight: 1.0
en proof theory Source: English Wiktionary
vi tiên đề (n)
― HasContext ⟶
Weight: 1.0
en proof theory Source: English Wiktionary