天体物理学

Nuclear Physics 1930, the Star of energy will be satisfied with the solution to the rapid development of the internal structure of stars; Hours map and based on the experimental results, the establishment of a stellar evolution of scientific theory. Einstein's general theory of relativity, in 1917 by the structure of the universe, the establishment of a relativistic cosmology. In 1929 the Hubble Space Telescope found redshifts and distances of the future, relations between the people of the gravitational theory of general relativity River from the data objects, size and structure of the material movement and the formation of modern cosmology.

三十年代原子核物理学的发展﹐使恒星能源的疑问获得满意的解决﹐从而使恒星内部结构理论迅速发展﹔并且依据赫罗图的实测结果﹐确立了恒星演化的科学理论。1917年爱因斯坦用广义相对论分析宇宙的结构﹐创立了相对论宇宙学。1929年哈勃发现了河外星系的谱线红移与距离间的关系﹐以后人们利用广义相对论的引力理论来分析有关河外天体的观测资料﹐探索大尺度上的物质结构和运动﹐这就形成了现代宇宙学。

We will see more and more activist government policies that distinguish economic activities according to the nationality of the actors.

我们将看到越来越多激进的政府政策，这些政策根据企业的国籍来区分经济活动。

If we can prove the independence of an axiomatic system, then we can guarantee the conciseness of this system, ie.

如果能够证明某个一阶谓词系统的独立性，那么就能够保证该系统的建立是精炼的，即没有任何一条公理或推理规则是多余的。