Before revision: Milestones The discovery of hyperbolic geometry The discovery of hyperbolic geometry had important philosophical consequences for Metamathematics .
After revision: Milestones The discovery of hyperbolic geometry The discovery of hyperbolic geometry had important philosophical consequences for metamathematics .