The Characterization Problem
Joseph R. Shoenfield · 2018
The primary object of a formal system is to provide a framework for proving theorems. Hence a particularly important problem for any formal system F is: find a necessary and sufficient condition that a formula of F be a theorem of F . This is called the characterization problem for F . We propose to study the characterization problem for theories.