Definition of "metamathematics" [metamathematics]

• The branch of mathematics that deals with the logic and consistency of mathematical proofs, formulas, and equations. (noun)

American Heritage(R) Dictionary of the English Language, Fifth Edition. Copyright (c) 2011 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

• "This follows from formal theorems in metamathematics as well as from the history of science."
• "Hilbert found a much more important field to which his “metamathematics” was to be applied, namely arithmetic and analysis."
• "He talks about the lyrics of 1960s songwriter Randy Newman in terms of metamathematics."