metamathematics[met′ə mat̸h′ə mat′iks]
Webster's New World College Dictionary Copyright © 2010 by Wiley Publishing, Inc., Cleveland, Ohio.
the logical study of the nature and validity of mathematical reasoning and proof
Used by arrangement with John Wiley & Sons, Inc.
The American Heritage® Dictionary of the English Language, 4th edition Copyright © 2010 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.
noun (used with a sing. verb)
The branch of mathematics that deals with the logic and consistency of mathematical proofs, formulas, and equations.
- metˌa·mathˌe·matˈi·cal adjective
- metˌa·mathˌe·ma·tiˈcian noun