Provability according to Mendelson

Provable_Mendelson.pdf

The YELLOW highlighted portions form the foundational basis for what I mean by Provable(X).

The paragraph following the YELLOW highlighted paragraph directly states what I mean by Provable.

The remaining material establishes common notational conventions that are essentially the same as I have been using.