Abstract

In mathematical logic, Craig’s Theorem states that any recursively enumerable theory is recursively axiomatizable. Its epistemological interest concerns its possible use as a method of eliminating “theoretical content” from scientific theories.