Comment by czgov

If it is known that A is provably true then one can study the consequences of A being true. It changes things becuase the body of knowledge has expanded.