Stav dette: The grammar of mathematics