"are expressed using no numbers or other symbolic formalisms. Though the nitty-gritty details of the proof are formidably technical, the proof's overall strategy, delightfully, is not. ...They belong to a branch of mathematics known as formal logic or mathematical logic, a field which was viewed, prior to Gödel's achievement, as mathematically suspect."