[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] Geometric mathematics is a return to mathematics done back in the 19th century in the sense that there is no formal syntax with geometric mathematics. This makes it pleasing to me. For the longest time the logicians have dominated the foundations of mathematics, but here is a foundations which is unreachable by the logicians, because they are limited to finite lists of symbols, while any syntactical version of geometric mathematics bakes infinity into the syntax itself. category: redirected to nlab