Definition of metamathematics in English:

metamathematics

plural noun ˌmɛtəmaθ(ə)ˈmatɪksˌmedəˌmaTH(ə)ˈmadiks

treated as singular The field of study that deals with the structure and formal properties of mathematics and similar formal systems.
元数学
Example sentencesExamples
- In conjunction with the twenty-fourth problem, this shows that, even at the time, he had at least a vague idea of metamathematics.
- Thus, only in his early sixties did Hilbert truly proceed to create proof theory and metamathematics.
- Furthermore, Hilbert's work on metamathematics has greatly improved our understanding of the nature of mathematical reasoning.
- Proof theory, a form of metamathematics, studies the ways in which proofs are used in mathematics.
- 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.

Derivatives

metamathematical

adjective

The omega-rule, which Carnap proposed in The Logical Syntax of Language, has come into widespread use in metamathematical research over a broad range of subjects.
Example sentencesExamples
- So your little metamathematical formula jumps off the page and applies itself to the universe.
- 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 ˌmɛtəmaθəməˈtɪʃnˈˌmɛdəˌmæθ(ə)məˈtɪʃ(ə)n

An expert in or student of the structure and formal properties of mathematics and similar formal systems.
元数学
The study of formal calculi is more a job for metamathematicians than mathematicians.
Example sentencesExamples
- It is not easy to speculate just how a metamathematician should conduct himself in the pursuit of this discipline.
- Perhaps some young metamathematician of the next generation will prove why this has to be so.

Definition of metamathematics in US English:

metamathematics

plural nounˌmedəˌmaTH(ə)ˈmadiks

treated as singular The field of study that deals with the structure and formal properties of mathematics and similar formal systems.
元数学
Example sentencesExamples
- Proof theory, a form of metamathematics, studies the ways in which proofs are used in mathematics.
- Furthermore, Hilbert's work on metamathematics has greatly improved our understanding of the nature of mathematical reasoning.
- Thus, only in his early sixties did Hilbert truly proceed to create proof theory and metamathematics.
- In conjunction with the twenty-fourth problem, this shows that, even at the time, he had at least a vague idea of metamathematics.
- 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.

词汇	metamathematics
释义	Definition of metamathematics in English: metamathematics plural noun ˌmɛtəmaθ(ə)ˈmatɪksˌmedəˌmaTH(ə)ˈmadiks treated as singular The field of study that deals with the structure and formal properties of mathematics and similar formal systems. 元数学 Example sentencesExamples In conjunction with the twenty-fourth problem, this shows that, even at the time, he had at least a vague idea of metamathematics. Thus, only in his early sixties did Hilbert truly proceed to create proof theory and metamathematics. Furthermore, Hilbert's work on metamathematics has greatly improved our understanding of the nature of mathematical reasoning. Proof theory, a form of metamathematics, studies the ways in which proofs are used in mathematics. 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. Derivatives metamathematical adjective The omega-rule, which Carnap proposed in The Logical Syntax of Language, has come into widespread use in metamathematical research over a broad range of subjects. Example sentencesExamples So your little metamathematical formula jumps off the page and applies itself to the universe. 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 ˌmɛtəmaθəməˈtɪʃnˈˌmɛdəˌmæθ(ə)məˈtɪʃ(ə)n An expert in or student of the structure and formal properties of mathematics and similar formal systems. 元数学 The study of formal calculi is more a job for metamathematicians than mathematicians. Example sentencesExamples It is not easy to speculate just how a metamathematician should conduct himself in the pursuit of this discipline. Perhaps some young metamathematician of the next generation will prove why this has to be so. Definition of metamathematics in US English: metamathematics plural nounˌmedəˌmaTH(ə)ˈmadiks treated as singular The field of study that deals with the structure and formal properties of mathematics and similar formal systems. 元数学 Example sentencesExamples Proof theory, a form of metamathematics, studies the ways in which proofs are used in mathematics. Furthermore, Hilbert's work on metamathematics has greatly improved our understanding of the nature of mathematical reasoning. Thus, only in his early sixties did Hilbert truly proceed to create proof theory and metamathematics. In conjunction with the twenty-fourth problem, this shows that, even at the time, he had at least a vague idea of metamathematics. 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.
随便看	in the rear of in the rearward in the red in the region of in the region of in the reverse direction in the road in the rough in the rough in the round in the round in the running in the running for in the saddle in the saddle in the same boat in the same breath in the same breath in the same class as in the same league as in the same manner as in the (same) manner that in the same (or next) breath in the same (or next) breath in the same way