.
He employs in addition one non-formal principle belonging to the theory of types (which need not concern us), and one corresponding to the principle that, given
, and given that
implies
, we can assert
. This principle is:
.
He employs in addition one non-formal principle belonging to the theory of types (which need not concern us), and one corresponding to the principle that, given
, and given that
implies
, we can assert
. This principle is: