Editing Metamathematics (section)

=== The discovery of hyperbolic geometry ===
{{See also|Non-Euclidean geometry#History |Hyperbolic geometry#History}}

The discovery of [[hyperbolic geometry]] had important [[philosophy|philosophical]] consequences for metamathematics. Before its discovery there was just one geometry and mathematics; the idea that another geometry existed was considered improbable.

When [[Gauss]] discovered hyperbolic geometry, it is said that he did not publish anything about it out of fear of the "uproar of the [[Boeotia#Pejorative term|Boeotians]]", which would ruin his status as ''princeps mathematicorum'' (Latin, "the Prince of Mathematicians").<ref>{{cite book|last1=Torretti|first1=Roberto|title=Philosophy of Geometry from Riemann to Poincare|date=1978|publisher=Reidel|location=Dordrecht Holland|page=255}}</ref> 
The "uproar of the Boeotians" came and went, and gave an impetus to metamathematics and great improvements in [[mathematical rigour]], [[analytical philosophy]] and [[logic]].