It was precisely because he possessed advanced knowledge in mathematics that Wang Qi understood the significance of this mathematical paper more than anyone else.
In discussions of mathematics, anything that can concretely present a certain object or provide a calculation method for it is called constructible. Constructive mathematics is an important field of modern mathematics research, its fundamental characteristic being the emphasis on constructibility. Constructibility refers to the ability to concretely present a certain object or to provide a calculation method for that object.
Constructive mathematics differs from classical mathematics in that constructivism asserts "to exist is to be constructed." To be constructive, mathematicians must reinterpret the existential quantifiers and other logical connectives and quantifiers, so as to explain the meaning of proofs involving these logical expressions from a constructive point of view.
