Wouldn't it be nice to have a real $0\le r\le1$ accompanying any axiom set $A$ so that (I have not the slightest idea how to define $r$ :-) say, $r<0.147587$ means "$A$ is too weak to allow the Gödel trick" and $r>0.945895$ is impossible due to Gödel? Or, say, $r(ZF+CH)>r(ZF+-CH)$ which decides once and for all which is "better"? In short, $r$ measuring the "proving power" of A quantitatively.
Anything done in that direction?