| Fundamental theorem of arithmetic | B2064E79FQ | statement | open | Wikipedia List of theorems called fundamental#14HC, Wikipedia List of mathematical proofs#0CVW, Wikipedia List of number theory topics#PTWA |
| Fundamental theorem of arithmetic | EYQHG5YKSX | statement | open | Wikipedia Least common multiple#FRNU |
| Fundamental Theorem of Arithmetic | GFKSPBVCQ6 | statement | open | ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#thm:FTA |
| Fundamental theorem of arithmetic | GVNF8X3EAN | statement | open | Wikipedia List of theorems#TD43 |
| fundamental theorem of arithmetic | HBMAAY5VXD | definition | open | Wikipedia Glossary of number theory#WK41 |
| Fundamental theorem of arithmetic | T83G4Y1XQS | statement | open | Wikipedia List of mathematical abbreviations#LVPO |
| Fundamental theorem of asset pricing | CDE3D5YTEA | statement | open | mathlib_1000 Q5508973, Wikidata Q5508973, thousand_plus Q5508973, Wikipedia Fundamental theorem of arbitrage-free pricing, Wikipedia Fundamental theorem of asset pricing |
| Fundamental theorem of Bass–Serre theory | PH8QVC5PHN | statement | open | Wikipedia Bass–Serre theory#5OKZ |
| Fundamental theorem of Boolean algebra | 3EBPV6B350 | statement | open | Wikipedia List of theorems called fundamental#JMOF |
| Fundamental theorem of calculus | 1HY388DDGD | statement | open | Wikipedia List of theorems#3I5Q |
| Fundamental theorem of calculus | BPK7TQ611B | statement | open | Wikipedia List of theorems called fundamental#7MP4, Wikipedia List of calculus topics#CO27 |
| fundamental theorem of calculus | GX4VRV4NA2 | statement | node (a node has the same Wikidata item as the row) | mathlib_100 15, Mathlib intervalIntegral.integral_hasStrictDerivAt_of_tendsto_ae_right, Mathlib intervalIntegral.integral_eq_sub_of_hasDeriv_right_of_le, mathlib_1000 Q1217677, Wikidata Q1217677, mathlib_overview Analysis > Measures and integral calculus > fundamental theorem of calculus, part 2, thousand_plus Q1217677, Wikipedia Fundamental theorem of calculus, EoM Newton-Leibniz_formula, MathWorld FundamentalTheoremsofCalculus, nLab fundamental theorem of calculus, ProofWiki Fundamental_Theorem_of_Calculus |
| Fundamental theorem of calculus | HHGNTWB2BQ | definition | open | Wikipedia Product integral#LK8X |
| fundamental theorem of calculus | Q5EGG9FMKX | definition | open | Wikipedia Glossary of calculus#AQLO |
| Fundamental theorem of calculus | RCNBNKXV2N | statement | open | Wikipedia Integral#QFVA |
| fundamental theorem of calculus | SPZTZ6RTGD | concept | open | active_calculus index/4.4.2/fundamental-theorem-of-calculus |
| Fundamental theorem of calculus | Y0R9GJBNVM | statement | open | Wikipedia History of calculus#FIND |
| Fundamental theorem of calculus for line integrals | CZ2DM38ZY0 | statement | open | Wikipedia List of theorems called fundamental#UR0S |
| Fundamental theorem of calculus in multiple dimensions | TTCV1YTAF1 | statement | open | Wikipedia Multivariable calculus#OBSH |
| Fundamental Theorem of Calculus, First | 5TPWZ6DX6B | concept | open | active_calculus index/5.2.1/fundamental-theorem-of-calculus-first |
| fundamental theorem of calculus, part 1 | 9H06W659XA | unknown | open | mathlib_overview Analysis > Measures and integral calculus > fundamental theorem of calculus, part 1, Mathlib intervalIntegral.integral_hasFDerivAt_of_tendsto_ae |
| Fundamental Theorem of Calculus, Second | RGTT665BZA | concept | open | active_calculus index/5.2.2/fundamental-theorem-of-calculus-second |
| Fundamental theorem of curves | 19KHHQH4X1 | statement | open | Wikipedia Fundamental theorem of curves, Wikidata Q57486 |
| Fundamental theorem of curves | JEFEF39PR7 | statement | open | Wikipedia List of theorems called fundamental#T3PF |
| Fundamental theorem of cyclic groups | SEPEFFCWE7 | definition | open | Wikipedia List of theorems called fundamental#D6UV |
| Fundamental theorem of dynamical systems | TK6EFX79QX | statement | open | Wikipedia List of theorems called fundamental#0JB7 |
| Fundamental theorem of equivalence relations | KXHXMAMMBP | definition | open | Wikipedia List of theorems called fundamental#2WZE |
| Fundamental theorem of equivalence relations | R9G2P7W846 | statement | open | Wikipedia Equivalence relation#0GJ0 |
| Fundamental theorem of equivalence relations | YGBNAEXNZQ | definition | open | Wikipedia List of theorems#Y3I2 |
| Fundamental theorem of exterior calculus | YKKQ1F4VV7 | statement | open | Wikipedia List of theorems called fundamental#XO00 |
| Fundamental theorem of finite abelian groups | 1KW3WY9NZJ | unknown | deferred (the kind of the item is unknown) | Wikipedia Abelian group#JNLW |
| Fundamental theorem of finite Abelian groups | M52JM87KEE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.08280#27DS |
| Fundamental theorem of finite distributive lattices | 540PA2HV24 | statement | open | Wikipedia List of theorems called fundamental#JRHJ |
| Fundamental theorem of finitely generated abelian groups | A7CCNW1EH7 | definition | open | Wikipedia List of theorems called fundamental#4661 |
| fundamental theorem of finitely generated abelian groups | TZ9MZ4TQPA | statement | open | Wikidata Q1589600, nLab fundamental theorem of finitely generated abelian groups |
| Fundamental theorem of finitely generated modules over a principal ideal domain | 9CVEYPVHG1 | statement | open | Wikipedia List of theorems called fundamental#APP1 |
| Fundamental theorem of Galois theory | 5H8B2K186X | statement | open | Wikipedia List of theorems#Y9AT |
| Fundamental theorem of Galois theory | 7P1V0BY7P3 | statement | open | Wikipedia Galois group#V415 |
| Fundamental theorem of Galois theory | H929J0PC09 | statement | open | Wikipedia List of theorems called fundamental#9T4K |
| Fundamental theorem of Galois theory | RBEAJCEZQ3 | statement | open | napkin tex/alg-NT/galois.tex#theorem-5 |
| fundamental theorem of Galois theory | ZBXYAWS6VX | statement | node (a node has the same Wikidata item as the row) | arXiv 2610.18154#NC98, Wikidata Q766522, ProofWiki Fundamental_Theorem_of_Galois_Theory, Wikipedia Fundamental theorem of Galois theory |
| Fundamental theorem of geometric calculus | EFXH1VP0NM | definition | open | Wikipedia List of theorems called fundamental#7VJ0 |
| Fundamental theorem of geometric calculus | STXR18FAYH | statement | open | Wikipedia Geometric calculus#UWOC |
| Fundamental theorem of Hilbert spaces | 9D9TJPFYGX | statement | open | Wikipedia Fundamental theorem of Hilbert spaces#15GB |
| Fundamental theorem of Hilbert spaces | BCVPFWVS5X | statement | open | Wikipedia Fundamental theorem of Hilbert spaces, Wikidata Q96378832 |
| Fundamental theorem of ideal theory in number fields | 1FC524FPR5 | statement | open | Wikipedia Fundamental theorem of ideal theory in number fields, Wikidata Q5508971 |
| Fundamental theorem of ideal theory in number fields | GX6K6XSAHT | statement | open | Wikipedia List of theorems called fundamental#50HR |
| Fundamental theorem of Lebesgue integral calculus | CESR1M7G7D | definition | open | Wikipedia List of theorems called fundamental#46A2 |
| Fundamental theorem of line integrals | 59CZXJDRQ8 | statement | open | Wikipedia Three-dimensional space#89C0 |
| Fundamental theorem of line integrals | F1GG99GZ3F | statement | open | Wikipedia Euclidean plane#P8LG |
| Fundamental theorem of linear algebra | JMQBQMYFSB | statement | open | Wikipedia List of theorems called fundamental#TQ2U |
| Fundamental theorem of linear programming | 3944CY25G5 | statement | open | Wikipedia Fundamental theorem of linear programming, Wikidata Q57498 |
| Fundamental theorem of linear programming | A06N177QZY | statement | open | Wikipedia List of theorems called fundamental#VYNV |
| Fundamental Theorem of Markov Chains | 4AQ7FK5V6P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.23994#TGO4 |
| Fundamental theorem of noncommutative algebra | DR57RE4VHR | statement | open | Wikipedia Invariant subspace#YODA |
| Fundamental theorem of noncommutative algebra | N803JS8TTD | definition | open | Wikipedia List of theorems called fundamental#HCZA |
| Fundamental theorem of poker | VYX950FX2Y | unknown | open | Wikipedia List of theorems called fundamental#7IC6 |
| Fundamental theorem of projective geometry | 8GT5Y0DD4T | statement | open | Wikipedia Homography#FH7O |
| Fundamental theorem of projective geometry | H34R6YMMAZ | definition | open | Wikipedia List of theorems called fundamental#NL0T, Wikipedia List of algebraic geometry topics#RAJW |
| Fundamental theorem of projective geometry | ZW0JYNG8Q9 | statement | open | Wikipedia Collineation#915M |
| Fundamental theorem of random fields | 31DYQWWFZF | statement | open | Wikipedia List of theorems called fundamental#O4IA |
| fundamental theorem of Riemannian geometry | QNYDQ0YPYK | statement | open | Wikidata Q2185349, nLab fundamental theorem of Riemannian geometry, Wikipedia Fundamental theorem of Riemannian geometry |
| Fundamental theorem of Riemannian geometry | SQAXW6N0GT | statement | open | Wikipedia List of theorems called fundamental#0X1C |
| Fundamental theorem of software engineering | P13A0PF4M1 | unknown | open | Wikipedia List of theorems called fundamental#FU55 |
| Fundamental theorem of symmetric polynomials | 15CCWDAZNH | statement | open | Wikipedia Elementary symmetric polynomial#WHIK |
| Fundamental theorem of symmetric polynomials | CX5CF7XC17 | definition | open | Wikipedia List of theorems called fundamental#SZI3 |
| Fundamental theorem of tessarine algebra | TQR1TNDE56 | definition | open | Wikipedia List of theorems called fundamental#EB49 |
| Fundamental theorem of topos theory | K9V7BETZQB | statement | open | Wikipedia List of theorems called fundamental#ORNH |
| fundamental theorem of topos theory | R8ZNXBB42F | statement | open | Wikidata Q25305241, nLab fundamental theorem of topos theory, Wikipedia Fundamental theorem of topos theory |
| Fundamental theorem of ultraproducts | ACM3RHRHXN | definition | open | Wikipedia List of theorems called fundamental#ZRPL |
| Fundamental theorem of vector analysis | XPXZNMEWQF | definition | open | Wikipedia List of theorems called fundamental#L7YI |
| Fundamental theorem on homomorphisms | APRQS9C1MG | statement | open | Wikipedia List of group theory topics#8RPW, Wikipedia List of theorems called fundamental#XV0Z |
| Fundamental theorem on homomorphisms | CJZC2P52J0 | statement | open | Wikipedia List of theorems#3PES |
| Fundamental theorem on homomorphisms | Q72ADQWVHM | statement | node (a node has the same name as the row) | mathlib_1000 Q1065966, Mathlib QuotientGroup.quotientKerEquivRange, Mathlib QuotientGroup.quotientInfEquivProdNormalQuotient, Mathlib QuotientGroup.quotientQuotientEquivQuotient, Wikidata Q1065966, mathlib_1000 Q1187646, Wikidata Q1187646, mathlib_1000 Q3527189, Wikidata Q3527189, mathlib_overview General algebra > Group theory > first isomorphism theorem, mathlib_overview General algebra > Group theory > second isomorphism theorem, mathlib_overview General algebra > Group theory > third isomorphism theorem, thousand_plus Q1065966, Wikipedia Isomorphism theorem, thousand_plus Q1187646, Wikipedia Fundamental theorem on homomorphisms, thousand_plus Q3527189, Wikipedia Lattice theorem, Wikipedia Correspondence theorem, Wikipedia Isomorphism theorems |
| Fundamental theorems | HK4GRPXKMM | statement | open | Wikipedia General Dirichlet series#KOG0 |
| Fundamental theorems | JY0CNQY058 | statement | open | Wikipedia Equivariant algebraic K-theory#OIW6 |
| Fundamental theorems | N9TXDX7M7K | statement | open | Wikipedia Morse theory#16R4 |
| Fundamental Theorems | SPDQSRB8B7 | statement | open | Wikipedia Algorithmic probability#GE2O |
| Fundamental theorems of welfare economics | 8YZ4JQHCG3 | statement | open | Wikipedia Arrow–Debreu model#5CDS |
| Fundamental theorems of welfare economics | PMHPTAXH3N | statement | open | Wikipedia Kenneth Arrow#BF16 |
| Fundamental theorems of welfare economics | RWW407ZZ73 | statement | open | mathlib_1000 Q467205, Wikidata Q467205, thousand_plus Q467205, Wikipedia Fundamental theorems of welfare economics |
| Fundamental theorems of welfare economics | S5GB7QS74N | statement | open | Wikipedia List of theorems called fundamental#86OE |
| Fundamental theorems of welfare economics | TKHRRM7414 | statement | open | Wikipedia List of theorems#HS5F |
| Fundamental thermodynamic relation | B0PHPMNA2J | definition | open | Wikipedia Fundamental thermodynamic relation, Wikidata Q1474109 |
| Fundamental types and variants of Henry's law constants | G05P7QVXNV | statement | open | Wikipedia Henry's law#38SM |
| fundamental unit | 3Y8PCA0MBA | concept | open | Wikidata Q5508977, MathWorld FundamentalUnit, Wikipedia Fundamental unit (number theory) |
| fundamental vector field | 7QSYE7A7SS | definition | open | Wikidata Q5508976, nLab fundamental vector field, Wikipedia Fundamental vector field |
| Fundamental weight | YC4DFTSHAJ | unknown | open | Wikipedia Weight (representation theory)#OHO3 |
| Fundamental weights for $\SL_{4}(\C)/B$, $\PP^{3}$ and $\Gr(2,4)$ | THHDWJA7BE | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.21914#A2ZI |
| fundamental, $\infty$-groupoid | 1NEYXEX5DC | concept | open | hott_book index/1/fundamental-infty-groupoid |
| fundamental, group | 92H0M762SR | concept | open | hott_book index/7.7.2/fundamental-group |
| fundamental, group | NKQKKZYRF7 | concept | open | hott_book index/1/fundamental-group |
| fundamental, group | Q48DP8EFJB | concept | open | hott_book index/7/fundamental-group |
| fundamental, group | SMM6YHWR6Z | concept | open | hott_book index/7.7/fundamental-group |
| fundamental, group | YVRPNG1HR2 | concept | open | hott_book index/7.7.1/fundamental-group |
| fundamental, group, of circle | VYPRCXRVQP | concept | open | hott_book index/7/fundamental-group-of-circle |
| fundamental, groupoid | YKZCA800XE | concept | open | hott_book index/2.9/fundamental-groupoid |
| fundamental, pregroupoid | N3ZC59GGCB | concept | open | hott_book index/7.7/fundamental-pregroupoid |
| fundamental, pregroupoid | RJS5KRAJ3T | concept | open | hott_book index/2.9/fundamental-pregroupoid |
| fundamental, theorem of Galois theory | TT84QEMK4W | concept | open | hott_book index/2.6/fundamental-theorem-of-galois-theory |