On the logical foundation, the application of assumption and set theory is a kind of method to study the philosophy, just like mathematics which is based on assumption and logic.

In the dispute about the foundation of mathematics in the 20th century, philosophers approving Intuitionalism usually take Kant for the originator of their theory.

Based on the characteristics of support scheme for deep foundation pit, the objective function is constructed with theory of fuzzy mathematics and least square method.