Craig's theorem

（重定向自Craig theorem）

In mathematical logic, Craig's theorem states that any recursively enumerable set of well-formed formulas of a first-order language is (primitively) recursively axiomatizable. This result is not related to the well-known Craig interpolation theorem, although both results are named after the same mathematician, William Craig.

单词	Craig theorem
释义	Craig theorem 英语百科 Craig's theorem （重定向自Craig theorem） In mathematical logic, Craig's theorem states that any recursively enumerable set of well-formed formulas of a first-order language is (primitively) recursively axiomatizable. This result is not related to the well-known Craig interpolation theorem, although both results are named after the same mathematician, William Craig.
随便看	cassette lid的意思 cassette lift的意思 cassette loader的意思 cassette loading的意思 cassette loop的意思 cassette loop projector的意思 cassette magnetic tape的意思 cassette magnetic tape controller的意思 cassette mechanism的意思 cassette megnetic tape的意思 cassette memory的意思 cassette model的意思 cassette moving high temperature camera的意思 Cassette Mutageneses的意思 Cassette mutagenesis的意思 cassette paper的意思 cassette pass box的意思 cassette pitch的意思 cassette player的意思 cassette player的意思 cassette program的意思 cassette projector, automatic的意思 cassette reader的意思 cassette reading and writing的意思 cassette receiver的意思