Ορισμός και Σημασία του "metamathematics"

the logical analysis of mathematical reasoning