Mathematics and logic have been proved to be one; a fact...

Mathematics and logic have been proved to be one; a fact from which it seems to follow that mathematics may successfully deal with non-quantitative problems in a much broader sense than was suspected to be possible.