A good abstraction is one that captures the essential aspects of a concept while ignoring the irrelevant details.
The advancement of mathematics is through the continuous questioning of established truths.