	Specialists flagged discrepancies between the two cases, distinguishing the use of hyperbolic geometry as a "tool" for proving Fermat's last theorem and from its use as a "setting" for squaring the circle: squaring the circle in hyperbolic geometry is a different problem from that of squaring it in Euclidean geometry. Savant was criticized for rejecting hyperbolic geometry as a satisfactory basis for Wiles' proof, with critics pointing out that axiomatic set theory (rather than Euclidean geometry) is now the accepted foundation of mathematical proofs and that set theory is sufficiently robust to encompass both Euclidean and non-Euclidean geometry as well as geometry and adding numbers.