. . . we have overcome the notion that mathematical truths have an existence independent — Edward Kasner