en axiom
― PartOf ⟶
Weight: 1.0
en formal system (n) Source: English Wiktionary
en axiom (n)
― PartOf ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en axiom
― PartOf ⟶
Weight: 1.0
en theory (n) Source: English Wiktionary