Theorem Proving in Higher-Order Logics

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

Arrow's impossibility theorem, Van Aubel's theorem, Intercept theorem, Rice's theorem, Pompeiu's theorem, Zariski's main theorem, Minkowski's theorem, Fubini's theorem, Löb's theorem, Riemann–Roch theorem, Intermediate value theorem, May's theorem, Thales's theorem, Menelaus's theorem, Brahmagupta theorem, No-broadcasting theorem, Generalized Stokes theorem, Peano existence theorem, Divergence theorem, Carathéodory's extension theorem, Wilson's theorem, Schröder–Bernstein theorem, Pappus's centroid theorem, Girsanov theorem, Hahn–Banach theorem, Ceva's theorem, Riesz–Fischer theorem, Petr–Douglas–Neumann theorem, Lindström's theorem, Egorov's theorem, Wiener–Ikehara theorem, Projection-slice theorem, Speedup theorem, Lusin's theorem, Poincaré–Miranda theorem, Six exponentials theorem, Kőnig's theorem (set theory), Bayes' theorem, Fundamental theorem of calculus, Gödel's incompleteness theorems, Ham sandwich theorem, Herbrand's theorem, Jung's theorem, Slutsky's theorem, Atiyah–Singer index theorem, Menger's theorem, Myers's theorem, Monge's theorem, Exterior angle theorem, Hyperplane separation theorem

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