Freek Wiedijk の Formalizing 100 Theorems の各定理が、Formalizing 1000+ Theorems（Wikipedia の List of theorems から取った一覧）に載っているかの対応表です（2026-09-27 作成）。
◎ 同じ定理が載っている：61件 △ 一部・より一般の形で載っている：3件 — 載っていない：36件
| No. | 100 Theorems | 1000+ の項目（Wikidata） | MSC（分野） | 対応 | 形式化済の体系数 |
|---|---|---|---|---|---|
| 1 | The Irrationality of the Square Root of 2 | — | — | — | 13 |
| 2 | Fundamental Theorem of Algebra | Fundamental theorem of algebra（Q192760） | 30 複素関数 | ◎ | 9 |
| 3 | The Denumerability of the Rational Numbers | — | — | — | 12 |
| 4 | Pythagorean Theorem | Pythagorean theorem（Q11518） | 51 幾何学 | ◎ | 9 |
| 5 | Prime Number Theorem | Prime number theorem（Q386292） | 11 整数論 | ◎ | 4 |
| 6 | Gödel's Incompleteness Theorem | Gödel's incompleteness theorem（Q200787） | 03 数理論理学・基礎論 | ◎ | 5 |
| 7 | Law of Quadratic Reciprocity | Quadratic reciprocity theorem（Q472883） | 11 整数論 | ◎ | 7 |
| 8 | The Impossibility of Trisecting the Angle and Doubling the Cube | Impossibility of angle trisection（Q733081） 角の三等分のみ（立方体の倍積は含まない） |
51 幾何学 | △ | 2 |
| 9 | The Area of a Circle | — | — | — | 6 |
| 10 | Euler's Generalization of Fermat's Little Theorem | Euler's theorem（Q193910） | 11 整数論 | ◎ | 7 |
| 11 | The Infinitude of Primes | Euclid's theorem（Q1506253） | 11 整数論 | ◎ | 12 |
| 12 | The Independence of the Parallel Postulate | Independence of the parallel postulate（Q207014） | 51 幾何学 | ◎ | 2 |
| 13 | Polyhedron Formula | Euler's polyhedron theorem（Q852973） | 51 幾何学 | ◎ | 4 |
| 14 | Euler's Summation of 1 + (1/2)^2 + (1/3)^2 + .... | Basel problem（Q810431） | 26 実関数 | ◎ | 6 |
| 15 | Fundamental Theorem of Integral Calculus | Fundamental theorem of calculus（Q1217677） | 26 実関数 | ◎ | 9 |
| 16 | Insolvability of General Higher Degree Equations | Abel–Ruffini theorem（Q657482） | 12 体論・多項式 | ◎ | 2 |
| 17 | De Moivre's Theorem | De Moivre's theorem（Q190556） | 30 複素関数 | ◎ | 8 |
| 18 | Liouville's Theorem and the Construction of Transcendental Numbers | — | — | — | 6 |
| 19 | Four Squares Theorem | Lagrange's four-square theorem（Q756946） | 11 整数論 | ◎ | 8 |
| 20 | All Primes (1 mod 4) Equal the Sum of Two Squares | Fermat's theorem on sums of two squares（Q914517） | 11 整数論 | ◎ | 9 |
| 21 | Green's Theorem | Green's theorem（Q321237） | 26 実関数 | ◎ | 2 |
| 22 | The Non-Denumerability of the Continuum | Uncountability of the continuum（Q22952648） | 03 数理論理学・基礎論 | ◎ | 10 |
| 23 | Formula for Pythagorean Triples | — | — | — | 8 |
| 24 | The Undecidability of the Continuum Hypothesis | Independence of the continuum hypothesis（Q208416） | 03 数理論理学・基礎論 | ◎ | 2 |
| 25 | Schroeder-Bernstein Theorem | Cantor–Bernstein–Schroeder theorem（Q1033910） | 03 数理論理学・基礎論 | ◎ | 10 |
| 26 | Leibniz's Series for Pi | — | — | — | 7 |
| 27 | Sum of the Angles of a Triangle | — | — | — | 6 |
| 28 | Pascal's Hexagon Theorem | Pascal's theorem（Q899002） | 51 幾何学 | ◎ | 3 |
| 29 | Feuerbach's Theorem | Feuerbach's theorem（Q2190744） | 51 幾何学 | ◎ | 3 |
| 30 | The Ballot Problem | Bertrand's ballot theorem（Q2253746） | 60 確率論 | ◎ | 8 |
| 31 | Ramsey's Theorem | Ramsey's theorem（Q918099） | 05 組合せ論 | ◎ | 11 |
| 32 | The Four Color Problem | Four color theorem（Q184410） | 05 組合せ論 | ◎ | 1 |
| 33 | Fermat's Last Theorem | Fermat's Last Theorem（Q132469） | 11 整数論 | ◎ | 1 |
| 34 | Divergence of the Harmonic Series | — | — | — | 10 |
| 35 | Taylor's Theorem | Taylor's theorem（Q1137206） | 26 実関数 | ◎ | 9 |
| 36 | Brouwer Fixed Point Theorem | Brouwer fixed-point theorem（Q1144897） | 54 一般位相 | ◎ | 4 |
| 37 | The Solution of a Cubic | Solutions of a general cubic equation（Q203565） | 12 体論・多項式 | ◎ | 6 |
| 38 | Arithmetic Mean/Geometric Mean | — | — | — | 8 |
| 39 | Solutions to Pell's Equation | Solutions to Pell's equation（Q853067） | 11 整数論 | ◎ | 5 |
| 40 | Minkowski's Fundamental Theorem | Minkowski's theorem（Q1097021） | 11 整数論 | ◎ | 4 |
| 41 | Puiseux's Theorem | Puiseux's theorem（Q401319） | 14 代数幾何 | ◎ | 2 |
| 42 | Sum of the Reciprocals of the Triangular Numbers | — | — | — | 9 |
| 43 | The Isoperimetric Theorem | Isoperimetric theorem（Q617417） | 51 幾何学 | ◎ | 1 |
| 44 | The Binomial Theorem | Binomial theorem（Q26708） | 05 組合せ論 | ◎ | 10 |
| 45 | The Partition Theorem | Euler's partition theorem（Q1082910） | 11 整数論 | ◎ | 6 |
| 46 | The Solution of the General Quartic Equation | Solutions of a general quartic equation（Q476776） | 12 体論・多項式 | ◎ | 6 |
| 47 | The Central Limit Theorem | Central limit theorem（Q190391） | 60 確率論 | ◎ | 2 |
| 48 | Dirichlet's Theorem | Dirichlet's theorem on arithmetic progressions（Q550402） | 11 整数論 | ◎ | 4 |
| 49 | The Cayley-Hamilton Theorem | Cayley–Hamilton theorem（Q656772） | 15 線形代数・行列 | ◎ | 5 |
| 50 | The Number of Platonic Solids | Classification of Platonic solids（Q188745） | 51 幾何学 | ◎ | 2 |
| 51 | Wilson's Theorem | Wilson's theorem（Q276082） | 11 整数論 | ◎ | 8 |
| 52 | The Number of Subsets of a Set | — | — | — | 11 |
| 53 | Pi is Transcendental | Lindemann–Weierstrass theorem（Q1572474） Lindemann–Weierstrass の定理に含まれる |
11 整数論 | △ | 3 |
| 54 | Konigsberg Bridges Problem | — | — | — | 8 |
| 55 | Product of Segments of Chords | Intersecting chords theorem（Q2266397） | 51 幾何学 | ◎ | 6 |
| 56 | The Hermite-Lindemann Transcendence Theorem | Lindemann–Weierstrass theorem（Q1572474） Lindemann–Weierstrass の定理 |
11 整数論 | ◎ | 3 |
| 57 | Heron's Formula | — | — | — | 6 |
| 58 | Formula for the Number of Combinations | — | — | — | 9 |
| 59 | The Laws of Large Numbers | — | — | — | 4 |
| 60 | Bezout's Theorem | Bézout's theorem（Q1542114） | 14 代数幾何 | ◎ | 12 |
| 61 | Theorem of Ceva | Ceva's theorem（Q213603） | 51 幾何学 | ◎ | 5 |
| 62 | Fair Games Theorem | Optional stopping theorem（Q2027347） 任意停止定理 |
60 確率論 | ◎ | 4 |
| 63 | Cantor's Theorem | Cantor's theorem（Q474881） | 03 数理論理学・基礎論 | ◎ | 11 |
| 64 | L'Hôpital's Rule | — | — | — | 7 |
| 65 | Isosceles Triangle Theorem | — | — | — | 7 |
| 66 | Sum of a Geometric Series | — | — | — | 11 |
| 67 | e is Transcendental | Lindemann–Weierstrass theorem（Q1572474） Lindemann–Weierstrass の定理に含まれる |
11 整数論 | △ | 6 |
| 68 | Sum of an arithmetic series | — | — | — | 11 |
| 69 | Greatest Common Divisor Algorithm | — | — | — | 13 |
| 70 | The Perfect Number Theorem | Euclid–Euler theorem（Q18206266） | 11 整数論 | ◎ | 7 |
| 71 | Order of a Subgroup | Lagrange's theorem (group theory)（Q505798） | 20 群論 | ◎ | 9 |
| 72 | Sylow's Theorem | Sylow theorems（Q1057919） | 20 群論 | ◎ | 8 |
| 73 | Ascending or Descending Sequences | Erdős–Szekeres theorem（Q976607） | 52 凸・離散幾何 | ◎ | 7 |
| 74 | The Principle of Mathematical Induction | — | — | — | 11 |
| 75 | The Mean Value Theorem | Mean value theorem（Q189136） | 26 実関数 | ◎ | 9 |
| 76 | Fourier Series | Fourier theorem（Q179467） Fourier theorem（フーリエ級数） |
43 抽象調和解析 | ◎ | 4 |
| 77 | Sum of kth powers | — | — | — | 5 |
| 78 | The Cauchy-Schwarz Inequality | — | — | — | 10 |
| 79 | The Intermediate Value Theorem | Intermediate value theorem（Q245098） | 26 実関数 | ◎ | 9 |
| 80 | The Fundamental Theorem of Arithmetic | Fundamental theorem of arithmetic（Q670235） | 11 整数論 | ◎ | 12 |
| 81 | Divergence of the Prime Reciprocal Series | — | — | — | 8 |
| 82 | Dissection of Cubes (J.E. Littlewood's "elegant" proof) | — | — | — | 3 |
| 83 | The Friendship Theorem | Friendship theorem（Q5504427） | 05 組合せ論 | ◎ | 6 |
| 84 | Morley's Theorem | Morley's trisector theorem（Q913447） | 51 幾何学 | ◎ | 4 |
| 85 | Divisibility by 3 Rule | — | — | — | 10 |
| 86 | Lebesgue Measure and Integration | — | — | — | 6 |
| 87 | Desargues's Theorem | Desargues's theorem（Q841893） | 51 幾何学 | ◎ | 5 |
| 88 | Derangements Formula | — | — | — | 7 |
| 89 | The Factor and Remainder Theorems | — | — | — | 7 |
| 90 | Stirling's Formula | Stirling's theorem（Q470877） | 26 実関数 | ◎ | 5 |
| 91 | The Triangle Inequality | — | — | — | 10 |
| 92 | Pick's Theorem | Pick's theorem（Q646523） | 51 幾何学 | ◎ | 2 |
| 93 | The Birthday Problem | — | — | — | 8 |
| 94 | The Law of Cosines | — | — | — | 7 |
| 95 | Ptolemy's Theorem | Ptolemy's theorem（Q459547） | 51 幾何学 | ◎ | 6 |
| 96 | Principle of Inclusion/Exclusion | — | — | — | 9 |
| 97 | Cramer's Rule | — | — | — | 7 |
| 98 | Bertrand's Postulate | Bertrand's postulate（Q632546） | 11 整数論 | ◎ | 6 |
| 99 | Buffon Needle Problem | — | — | — | 4 |
| 100 | Descartes Rule of Signs | — | — | — | 45 |