Provability according to Mendelson


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.