单词	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.
随便看	raise Cain traymobile tray-top TRC treacherous treacherously treacherousness treachery treacle treacle tart treacly tread tread board treaded treader treadle treadmill tread on air tread (or step) on someone's toes tread (or walk) the boards tread the boards (or stage) tread water treadwheel treas. treason

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