Mathematicians can't agree what 'equals' means, and that's a problem