The ultimate goal of mathematics is to eliminate all need for intelligent thought.