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.