Craig's 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 logician, William Craig.
Wikipage redirect
Link from a Wikipage to another Wikipage
primaryTopic
Craig's 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 logician, William Craig.
has abstract
In mathematical logic, Craig's ...... same logician, William Craig.
@en
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
996,507,582
Link from a Wikipage to another Wikipage
comment
In mathematical logic, Craig's ...... same logician, William Craig.
@en
label
Craig's theorem
@en