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.

Read more about Craig's Theorem:  Recursive Axiomatization, Primitive Recursive Axiomatizations

Famous quotes containing the words craig and/or theorem:

    Is that the Craig Jurgesen that Teddy Roosevelt gave you?... And you used it at San Juan Hill defending liberty. Now you want to destroy it.
    Laurence Stallings (1894–1968)

    To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.
    Albert Camus (1913–1960)