As we can see,there are some conditions given in a proposition. If there are 2 propositions having approximate conclusions.Usually，we can name one propositions gives stronger conditions than the other. My question is that whether there is a good system to weigh the conditions given in a proposition.e.g. a condition "uniform convergence"is stronger than a condition"convergence". Can we give each condition a value to show their sharpness?
I think that one may have there three kinds of valuations for "strength" of conditions in theorem.
I suppose that aesthetic conditions are interesting but hard to formalization, whilst practical one are something You may think about in constructive and useful way but probably it is not You are asking for...