#abstraction

Reshapes messy problems into decomposition, abstraction, reduction, and algorithm — choosing the representation that makes the hard part easy and refusing to compute what should not be computed

Establishes necessary truth by proof rather than evidence, working from definitions and axioms, killing conjectures with counterexamples, and chasing the elegant argument.