Question

Meta-math what is that?

Answer 1

http://en.wikipedia.org/wiki/Metamathematics

Answer 2

ok so I learned something new today........ Thanks

Answer 3

Metamath is a language for developing strictly formalized mathematical definitions and proofs accompanied by a proof checker for this language and a growing database of thousands of proved theorems covering conventional results in logic, set theory, number theory, group theory, algebra, analysis, and topology, as well as topics in Hilbert spaces and quantum logic.

Answer 4

Proof checker, cool........