00 General and overarching topics
| Name | Tag | Kind | MSC |
|---|---|---|---|
| Tower of Hanoi | 0906Z03EMN | example | 00A08 |
| Mathematical proof | 0B94TKFQJX | concept | 00A35 |
| Proof by contrapositive | 0BB5TPGQ1N | concept | 00A35 |
| Counterexample | 0ED72CTBNP | concept | 00A35 |
| Proof by contradiction | 0J0XBKG64S | concept | 00A35 |
| Direct proof | 0NTF6DMVAP | concept | 00A35 |
| Proof by cases | 0WCP0PVET6 | concept | 00A35 |