Stav dette: The autonomy of mathematical knowledge