Would any subscriber to fom be willing to attempt
a brief informal description of accepted usage of the
terms:
strength
proof theoretic strength
consistency strength
ordinal strength
in relation to formal deductive systems?
Are there any other important ways of comparing
the strength of deductive systems?
Roger Jones