The Autonomy of Mathematical Knowledge