search

Formal system

Meaning

Noun

In Logic:
The
of a
and a set of
axioms.
Sourced from
Wiktionary
Join 10 million students and professionals writing 70% faster at QuillBot.com