en formal system (n)
― RelatedTo ⟶
Weight: 1.0
en inference rule Source: English Wiktionary
en formal system (n)
― RelatedTo ⟶
Weight: 1.0
en formal language Source: English Wiktionary
en formal system (n)
― RelatedTo ⟶
Weight: 1.0
en axiom Source: English Wiktionary