Liberty is the right of doing whatever laws permit.
Mathematics is not just a human invention; it has a deep reality that exists independently of us.