What is a "foundation" for mathematics?
(for noframe browsers)