Share this entry

Share this page

metamathematics

Syllabification: met·a·math·e·mat·ics
Pronunciation: /ˌmedəˌmaTH(ə)ˈmadiks
 
/

Definition of metamathematics in English:

plural noun

[usually treated as singular]
The field of study that deals with the structure and formal properties of mathematics and similar formal systems.
Example sentences
  • 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

1
Pronunciation: /-ˈmatikəl/
adjective
Example sentences
  • 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.

metamathematician

2
Pronunciation: /-məˈtiSHən/
noun
Example sentences
  • 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.

Definition of metamathematics in:

Share this entry

Share this page

 

What do you find interesting about this word or phrase?

Comments that don't adhere to our Community Guidelines may be moderated or removed.

Get more from Oxford Dictionaries

Subscribe to remove ads and access premium resources

Word of the day orthoepy
Pronunciation: ôrˈTHōəpē
noun
the correct or accepted pronunciation of words