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