Theorem Proving in Higher-Order Logics

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

Casorati–Weierstrass theorem, Pompeiu's theorem, Zariski's main theorem, Van Aubel's theorem, Kirchhoff's theorem, Löb's theorem, Central limit theorem, Malgrange preparation theorem, No-broadcasting theorem, Thales's theorem, Peano existence theorem, Intermediate value theorem, Minkowski's theorem, Riemann–Roch theorem, Menelaus's theorem, Brahmagupta theorem, Divergence theorem, Generalized Stokes theorem, Lindström's theorem, Schröder–Bernstein theorem, Carathéodory's extension theorem, Girsanov theorem, Wilson's theorem, Pappus's centroid theorem, Fubini's theorem, Ceva's theorem, Kőnig's theorem (set theory), Hahn–Banach theorem, Myers's theorem, Speedup theorem, Projection-slice theorem, Slutsky's theorem, Jung's theorem, Descartes' theorem, Fundamental theorem of calculus, Poincaré–Miranda theorem, Herbrand's theorem, Bayes' theorem, Sard's theorem, Aumann's agreement theorem, Riesz–Fischer theorem, Petr–Douglas–Neumann theorem, Lusin's theorem, Knaster–Tarski theorem, Monge's theorem, Schauder fixed-point theorem, No-cloning theorem, Six exponentials theorem, Atiyah–Singer index theorem, Hartman–Grobman theorem

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