Beth’s theorem and Craig’s theorem

By Swijtink, Zeno

Beth’s theorem is a central result about definability of non-logical symbols in classical first-order theories. It states that a symbol P is implicitly defined by a theory T ...