Theorem Proving in Higher-Order Logics

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

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

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