Yichang City is the place where both the Three Gorges and the Gezhouba Dam projects are being constructed. Practice shows that any large State planned project will bring prosperity to the local economy. The Gezhouba D...Yichang City is the place where both the Three Gorges and the Gezhouba Dam projects are being constructed. Practice shows that any large State planned project will bring prosperity to the local economy. The Gezhouba Dam Project in Yichang has provided the first opportunity for the city’s development During the first stage of the Gezhouba project from 1971 to 1980, the annual average progressive growth rate of fixed assets investment and展开更多
The article is devoted to proving the inconsistency of set theory arising from the existence of strange trees. All steps of the proof rely on common informal set-theoretic reasoning, but they take into account the pro...The article is devoted to proving the inconsistency of set theory arising from the existence of strange trees. All steps of the proof rely on common informal set-theoretic reasoning, but they take into account the prohibitions that were introduced into axiomatic set theories in order to overcome the difficulties encountered by the naive Cantor set theory. Therefore, in fact, the article is about proving the inconsistency of existing axiomatic set theories, in particular, the ZFC theory.展开更多
文摘Yichang City is the place where both the Three Gorges and the Gezhouba Dam projects are being constructed. Practice shows that any large State planned project will bring prosperity to the local economy. The Gezhouba Dam Project in Yichang has provided the first opportunity for the city’s development During the first stage of the Gezhouba project from 1971 to 1980, the annual average progressive growth rate of fixed assets investment and
文摘The article is devoted to proving the inconsistency of set theory arising from the existence of strange trees. All steps of the proof rely on common informal set-theoretic reasoning, but they take into account the prohibitions that were introduced into axiomatic set theories in order to overcome the difficulties encountered by the naive Cantor set theory. Therefore, in fact, the article is about proving the inconsistency of existing axiomatic set theories, in particular, the ZFC theory.