单词	metamathematics
释义	metamathematics /ˌmɛtəmaθ(ə)ˈmatɪks / plural noun [treated as singular] The field of study that deals with the structure and formal properties of mathematics and similar formal systems.Tarski made important contributions in many areas of mathematics: set theory, measure theory, topology, geometry, classical and universal algebra, algebraic logic, various branches of formal logic and metamathematics.... Proof theory, a form of metamathematics, studies the ways in which proofs are used in mathematics. Thus, only in his early sixties did Hilbert truly proceed to create proof theory and metamathematics. Derivatives metamathematical adjective ... Gentzen's proof of the consistency of arithmetic is undoubtedly a very interesting metamathematical result, which may prove very stimulating and fruitful. Meaning is then introduced at the metamathematical level, in the metalanguage. Robinson's theory is based on the metamathematical fact that the system of real numbers is incomplete. metamathematically adverb metamathematician noun ... Perhaps some young metamathematician of the next generation will prove why this has to be so. It is not easy to speculate just how a metamathematician should conduct himself in the pursuit of this discipline. The study of formal calculi is more a job for metamathematicians than mathematicians.
随便看	be saved by the bell Beschloss, Michael beseech beseecher beseechingly be seeing double be seeing things beseem beset be set fair be set in concrete besetting sin be shitting bricks beshrew be sick beside beside oneself beside (or off) the point besides beside the point besiege besiegement besieger be simplicity itself be sitting pretty

英语词典包含243303条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。