Mathematical theorems

• Fundamental theorems‎ (9 P)

*

• Lemmas‎ (1 C, 88 P)
• Inequalities‎ (3 C, 152 P)
• Mathematical identities‎ (81 P)

A

• Theorems in algebra‎ (2 C, 44 P)
• Theorems in analysis‎ (11 C, 124 P)

C

• Conjectures that have been proved‎ (98 P)

D

• Theorems in discrete mathematics‎ (4 C, 42 P)
• Theorems in dynamical systems‎ (1 C, 30 P)

F

• Theorems in the foundations of mathematics‎ (54 P)

G

• Theorems in geometry‎ (8 C, 48 P)

M

• Theorems in mathematical physics‎ (4 C, 11 P)

N

• Theorems in number theory‎ (3 C, 108 P)

P

• Probability theorems‎ (3 C, 112 P)
• Theorems in propositional logic‎ (41 P)

S

• Statistical theorems‎ (2 P)

T

• Theorems in statistics‎ (1 C, 57 P)
• Theorems in topology‎ (4 C, 67 P)
• Mathematical theorems in theoretical computer science‎ (8 P)

A

• Additive combinatorics
• Alexander–Hirschowitz theorem
• Approximate max-flow min-cut theorem

B

• Bauer maximum principle
• Bertrand's postulate
• Brun-Titchmarsh theorem
• Buchdahl's theorem
• Budan's theorem

C

• Cantor normal form theorem
• Carnot's theorem (conics)
• Carnot's theorem (perpendiculars)
• Chasles' theorem (kinematics)
• Classification theorem
• Comparison theorem

D

• Darmois–Skitovich theorem

E

• Existence theorem

F

• Fraïssé's theorem
• Fueter–Pólya theorem
• Full employment theorem
• Full-employment theorem

G

• Girsanov theorem
• Grey box model
• Physics:Gurzadyan theorem

J

• Jouanolou's trick

K

• Kawasaki's theorem
• Kostant's convexity theorem

L

• Lawvere's fixed-point theorem

M

• Maekawa's theorem
• Mathematics of apportionment
• Maximum theorem
• Minimax theorem
• Motzkin–Taussky theorem
• Multiplication theorem

N

• No free lunch theorem

O

• Ohsawa–Takegoshi L2 extension theorem
• Ohsawa–Takegoshi theorem
• Omega-categorical theory

P

• Petersen–Morley theorem
• Pósa's theorem

R

• Rank-index method
• Representation theorem

S

• Physics:Shell theorem
• Sion's minimax theorem
• Solovay–Kitaev theorem
• Stochastic portfolio theory

T

• Toy theorem
• Transport theorem
• Triangulation sensing
• Trillium theorem
• Trombi–Varadarajan theorem

U

• Universal chord theorem

V

• Vincent's theorem

Z

• Software:Zermelo's theorem (game theory)