---

• n  the logical analysis of mathematical reasoning

• Soon it dawned on a few insightful souls, Gdel foremost among them, that this way of looking at things opened up a brand-new branch of mathematics namely, metamathematics.
• Soon it dawned on a few insightful souls, Godel foremost among them, that this way of looking at things opened up a brand-new branch of mathematics--namely, metamathematics.