Freedom in Mathematics