---
tag: G9JFJGY4TQ
kind: topic
name: Proof methods
aliases: [methods]
msc: [00A35]
sources:
  - url: https://en.wikipedia.org/wiki/Mathematical_proof
    locator: Methods of proof
---

## Summary

This topic collects the standard methods of [[mathematical proof|0B94TKFQJX]], such as direct proof, proof by contradiction, proof by cases and induction.
A proof node names its methods with the method edge, and each target of that edge is a concept in this topic.
The topic lets a reader find all the proofs that use one method.