Mathematical development moves toward formal proof that bypasses authority entirely, but moral 'matu...