Theorem Proving in Higher-Order Logics

Theorem, Desargues's theorem, Picard theorem, Green's theorem, H-theorem, Helly's theorem, Mean value theorem, Stokes' theorem, Pythagorean theorem, Fermat's Last Theorem, Gödel's completeness theorem, Rolle's theorem, Apollonius's theorem, Rouché's theorem, Dilworth's theorem, Stone–Weierstrass theorem, Miquel's theorem, Euler's theorem, PCP theorem, Jordan curve theorem, Rellich–Kondrachov theorem, Automated theorem proving, Ptolemy's theorem, Brouwer fixed-point theorem, Montel's theorem, Thévenin's theorem, Kleene's recursion theorem, Tychonoff's theorem, Cauchy–Kovalevskaya theorem, Pascal's theorem, Isomorphism theorems, Oseledets theorem, Lefschetz hyperplane theorem, Casorati–Weierstrass theorem, Arrow's impossibility theorem, Ursescu theorem, Kirchhoff's theorem, Gradient theorem, Rice's theorem, Abel's theorem, Minkowski's theorem

Coase theorem, Löwenheim–Skolem theorem, Löb's theorem, Zariski's main theorem, Riemann–Roch theorem, Intercept theorem, Intermediate value theorem, Thales's theorem, Pompeiu's theorem, Generalized Stokes theorem, Gabriel–Popescu theorem, Van Aubel's theorem, Menelaus's theorem, Central limit theorem, No-broadcasting theorem, Malgrange preparation theorem, Girsanov theorem, Carathéodory's extension theorem, Divergence theorem, Hahn–Banach theorem, Brahmagupta theorem, May's theorem, Pappus's centroid theorem, Peano existence theorem, Schröder–Bernstein theorem, Wilson's theorem, Fubini's theorem, Projection-slice theorem, Bayes' theorem, Six exponentials theorem, Lindström's theorem, Poincaré–Miranda theorem, Lusin's theorem, Kőnig's theorem (set theory), Ceva's theorem, Atiyah–Singer index theorem, Ham sandwich theorem, Hyperplane separation theorem, Slutsky's theorem, Petr–Douglas–Neumann theorem, Exterior angle theorem, Riesz–Fischer theorem, Aumann's agreement theorem, Sylow theorems, Noether's theorem, Descartes' theorem, Speedup theorem, Fundamental theorem of calculus, No-cloning theorem, Sard's theorem

Theorem, Desargues's theorem, Picard theorem, Green's theorem, H-theorem, Helly's theorem, Mean value theorem, Stokes' theorem, Pythagorean theorem, Fermat's Last Theorem, Gödel's completeness theorem, Rolle's theorem, Apollonius's theorem, Rouché's theorem, Dilworth's theorem, Stone–Weierstrass theorem, Miquel's theorem, Euler's theorem, PCP theorem, Jordan curve theorem, Rellich–Kondrachov theorem, Automated theorem proving, Ptolemy's theorem, Brouwer fixed-point theorem, Montel's theorem, Thévenin's theorem, Kleene's recursion theorem, Tychonoff's theorem, Cauchy–Kovalevskaya theorem, Pascal's theorem, Isomorphism theorems, Oseledets theorem, Lefschetz hyperplane theorem, Casorati–Weierstrass theorem, Arrow's impossibility theorem, Ursescu theorem, Kirchhoff's theorem, Gradient theorem, Rice's theorem, Abel's theorem, Minkowski's theorem, Coase theorem, Löwenheim–Skolem theorem, Löb's theorem, Zariski's main theorem, Riemann–Roch theorem, Intercept theorem, Intermediate value theorem, Thales's theorem, Pompeiu's theorem, Generalized Stokes theorem, Gabriel–Popescu theorem, Van Aubel's theorem, Menelaus's theorem, Central limit theorem, No-broadcasting theorem, Malgrange preparation theorem, Girsanov theorem, Carathéodory's extension theorem, Divergence theorem, Hahn–Banach theorem, Brahmagupta theorem, May's theorem, Pappus's centroid theorem, Peano existence theorem, Schröder–Bernstein theorem, Wilson's theorem, Fubini's theorem, Projection-slice theorem, Bayes' theorem, Six exponentials theorem, Lindström's theorem, Poincaré–Miranda theorem, Lusin's theorem, Kőnig's theorem (set theory), Ceva's theorem, Atiyah–Singer index theorem, Ham sandwich theorem, Hyperplane separation theorem, Slutsky's theorem, Petr–Douglas–Neumann theorem, Exterior angle theorem, Riesz–Fischer theorem, Aumann's agreement theorem, Sylow theorems, Noether's theorem, Descartes' theorem, Speedup theorem, Fundamental theorem of calculus, No-cloning theorem, Sard's theorem, Myers's theorem, Jung's theorem, Knaster–Tarski theorem, Monge's theorem, Paley–Wiener theorem, Wiener–Ikehara theorem, Herbrand's theorem, Wick's theorem, Plancherel theorem, Cauchy's integral theorem, Koopmans' theorem, Ribet's theorem, Grushko theorem, Egorov's theorem, Schauder fixed-point theorem, Kuratowski's theorem, Napoleon's theorem, Well-ordering theorem, Dirichlet's approximation theorem, Nash-Williams theorem, Prigogine's theorem, Hartman–Grobman theorem, Wiener–Khinchin theorem, Deduction theorem, Kakutani fixed-point theorem, Poincaré–Hopf theorem, Primitive element theorem, Gödel's incompleteness theorems, Fundamental theorem on homomorphisms, Rademacher's theorem, Feit–Thompson theorem, Thébault's theorem, Faltings's theorem, Menger's theorem, Gauss–Lucas theorem, Squeeze theorem, Nakano vanishing theorem, Hille–Yosida theorem, Szemerédi's theorem, Inverse function theorem, Carathéodory's theorem (convex hull), Kutta–Joukowski theorem, Goodstein's theorem, Kronecker's theorem, Cayley's theorem, Rice–Shapiro theorem, Poincaré–Bendixson theorem, Four-vertex theorem, Carathéodory's theorem, Modularity theorem, Paris–Harrington theorem, Picard–Lindelöf theorem, Lagrange's theorem (group theory), Chevalley–Warning theorem, Bézout's theorem, Erdős–Szekeres theorem, Hirzebruch–Riemann–Roch theorem, Stewart's theorem, Millman's theorem, Dominated convergence theorem