PROVABLENESS

Definition of PROVABLENESS