Similar to 無限降下法

Abc conjecture

Complex multiplication of abelian varieties

Disquisitiones Arithmeticae

P-adic analysis

P-adic gamma function

P-adic number

P-adic Teichmüller theory

Basic hypergeometric series

Gaussian binomial coefficient

Vieta jumping

Eisenstein integer

Adele ring

Artin–Hasse exponential

0

1

2

3

4

5

6

7

8

9

Cantor's diagonal argument

Reductio ad absurdum

Natural deduction

Proof by contrapositive