| Formal statement | 7CPKRFDG3P | statement | open | Wikipedia Ore's theorem#S8EX |
| Formal statement | 8E94HZT72A | statement | open | Wikipedia Kaplansky density theorem#Z7I7 |
| Formal statement | 924E924H6X | statement | open | Wikipedia Sonnenschein–Mantel–Debreu theorem#AOAO |
| Formal statement | 9H3WDMFC03 | statement | open | Wikipedia Maximum modulus principle#KT16 |
| Formal statement | 9JVM9YM20P | statement | open | Wikipedia Rice's theorem#FN7G |
| Formal statement | 9SA4F0NXCZ | statement | open | Wikipedia Jensen's formula#JGNE |
| Formal statement | A77A78T3RE | statement | open | Wikipedia Walras's law#6ULE |
| Formal statement | APXW8CVSQ4 | statement | open | Wikipedia Pumping lemma for context-free languages#OQE9 |
| Formal statement | AYBTYFS5W1 | statement | open | Wikipedia Eilenberg's inequality#7GZO |
| Formal statement | B0D4Q36DQJ | statement | open | Wikipedia Smn theorem#N92J |
| Formal statement | B139A2X88H | statement | open | Wikipedia Wald's martingale#4YCU |
| Formal Statement | B41XDWAFEJ | statement | open | Wikipedia Lebesgue's decomposition theorem#7PUT |
| Formal statement | C6ZV22GZAE | statement | open | Wikipedia Church's thesis (constructive mathematics)#FJC5 |
| Formal statement | CP2YXJHJ2A | statement | open | Wikipedia Cauchy problem#YLJ2 |
| Formal statement | D9P83XN0FW | statement | open | Wikipedia Axiom of limitation of size#AWHH |
| Formal statement | DAA0TMDM65 | statement | open | Wikipedia Horseshoe lemma#EY6K |
| Formal statement | DDC01GJYN1 | statement | open | Wikipedia Margulis lemma#R8KA |
| Formal statement | DEEBGKE7JN | statement | open | Wikipedia Yao's test#GJ6B |
| Formal statement | E7ZN4SRW2Q | statement | open | Wikipedia Lefschetz fixed-point theorem#0A8D |
| Formal statement | EGW41GJZW8 | statement | open | Wikipedia Hopf theorem#VUF9 |
| Formal statement | F10ZNRZGZH | statement | open | Wikipedia Transversality theorem#DAV1 |
| Formal statement | FC0XGNXJDW | statement | open | Wikipedia Goldbach's conjecture#N6TU |
| Formal statement | FH1J28RCFP | statement | open | Wikipedia Axiom of infinity#5NLS |
| Formal statement | GMMG0C16PH | statement | open | Wikipedia No-deleting theorem#60I9 |
| Formal statement | H5MPNEBANN | statement | open | Wikipedia Principal ideal theorem#8B1F |
| Formal statement | HBJHYZBANN | statement | open | Wikipedia Gauss–Codazzi equations#K96R |
| Formal statement | HV1TFXDWNA | statement | open | Wikipedia Inverse transform sampling#DWSO |
| Formal statement | HVH68KQ7MQ | statement | open | Wikipedia Bretagnolle–Huber inequality#8SZA |
| Formal statement | HXW5616S3A | statement | open | Wikipedia Kraft–McMillan inequality#IPWT |
| Formal statement | J2Q0WK7163 | statement | open | Wikipedia Poincaré recurrence theorem#LHIB |
| Formal Statement | JD707S1XNF | statement | open | Wikipedia Kamp's theorem#3DEL |
| Formal statement | JF6C5ZDFHZ | statement | open | Wikipedia Tietze extension theorem#A6WR |
| Formal statement | JQRDJ519HE | statement | open | Wikipedia Heine theorem#584H |
| Formal statement | JZJ0N98D30 | statement | open | Wikipedia Axiom of union#IUPW |
| Formal statement | KN1E40FRA2 | statement | open | Wikipedia Axiom of dependent choice#JLCG |
| Formal statement | MF21PFVZ73 | statement | open | Wikipedia Dickson's lemma#3PZR |
| Formal statement | N3R6WZEGZR | statement | open | Wikipedia Shadowing lemma#36FS |
| Formal statement | PE6G61BPQ1 | statement | open | Wikipedia Ghosh–Pratt identity#DIZJ |
| Formal statement | PHA0RACETR | statement | open | Wikipedia Hanna Neumann conjecture#U19P |
| Formal statement | Q9EZ9H473N | statement | open | Wikipedia Silverman–Toeplitz theorem#JHJ1 |
| Formal statement | QPP7ZE4F8K | statement | open | Wikipedia Donsker's theorem#2KH5 |
| Formal statement | QPY1NMTXK5 | statement | open | Wikipedia Representer theorem#TE6W |
| Formal statement | QREMY4BD3Z | statement | open | Wikipedia Hotelling's lemma#NOYS |
| Formal statement | QY295V9F7J | statement | open | Wikipedia PCP theorem#N9O8 |
| Formal statement | R2ENX73Y94 | statement | open | Wikipedia Sophie Germain's theorem#IPRX |
| Formal statement | RDH6TR4BNE | statement | open | Wikipedia Dini's theorem#66JV |
| Formal statement | RVWP6CN8R9 | statement | open | Wikipedia Stein's example#6C3I |
| Formal statement | S13QXM0A2J | statement | open | Wikipedia Gottesman–Knill theorem#Z2MN |
| Formal statement | SWHT77JJNX | statement | open | Wikipedia Stein's unbiased risk estimate#Y98X |
| Formal statement | TC4SDA6GD4 | statement | open | Wikipedia Heawood conjecture#9UV1 |
| Formal statement | TD81S89STJ | statement | open | Wikipedia Obstacle problem#3MRP |
| Formal statement | TGABCGPER8 | statement | open | Wikipedia Principal axis theorem#RADQ |
| Formal statement | TH4G0VCGNM | statement | open | Wikipedia Gibbard's theorem#XWC3 |
| Formal statement | TJB2N4WYEZ | statement | open | Wikipedia Alternating series test#JT9U |
| Formal statement | TMV9W6Y3JK | statement | open | Wikipedia Bochner's formula#CGAP |
| Formal statement | V1N34DTGRF | statement | open | Wikipedia Hadwiger conjecture (combinatorial geometry)#0YNL |
| Formal statement | V6W2FXJ76N | statement | open | Wikipedia Pinsker's inequality#Y9OQ |
| Formal statement | V7V9ATEJSK | statement | open | Wikipedia Stone's theorem on one-parameter unitary groups#5V4H |
| Formal statement | VKRPAWDECZ | statement | open | Wikipedia Axiom of pairing#UDOR |
| Formal statement | VR4NXYPQEV | statement | open | Wikipedia Fiber bundle construction theorem#4CAH |
| Formal statement | WVF4QSPXXX | statement | open | Wikipedia Yoneda lemma#O004 |
| Formal statement | WVVXYKJN70 | statement | open | Wikipedia Brooks' theorem#E9ZU |
| Formal statement | X2357726NE | statement | open | Wikipedia Zeta function universality#ZXON |
| Formal statement | XNHNV7Q9SF | statement | open | Wikipedia Hales–Jewett theorem#BZOH |
| Formal statement | XWQC5FH5P0 | statement | open | Wikipedia Axiom of power set#9Z90 |
| Formal statement | XX0S6YSB7S | statement | open | Wikipedia Quantum Markov chain#GGAA |
| Formal statement | XZNJQQ6FSN | statement | open | Wikipedia Kac's lemma#C7L0 |
| Formal statement | Y8RR82EQZE | statement | open | Wikipedia Gauss–Lucas theorem#8QSU |
| Formal statement | YR33ZDFCPZ | statement | open | Wikipedia Axiom of empty set#F2UC |
| Formal statement | YX5VWJP3BG | statement | open | Wikipedia Grimm's conjecture#YINZ |
| Formal statement | Z6FRDZ00VN | statement | open | Wikipedia Pumping lemma for regular languages#2QSZ |
| Formal statement | Z858QSSQ4D | statement | open | Wikipedia May's theorem#T8QR |
| Formal statement | ZXH5MZMS1G | statement | open | Wikipedia Hadamard factorization theorem#8NOI |
| Formal statement | ZY5J81TK38 | statement | open | Wikipedia Invariant (mathematics)#A6W2 |
| Formal statement of Stallings' theorem | V13DC9YX2P | statement | open | Wikipedia Stallings theorem about ends of groups#88OD |
| Formal statement of the law | QKHWXYTNQD | statement | open | Wikipedia Charge conservation#3U83 |
| Formal statement of the theorem | 9AVGJ82FJR | statement | open | Wikipedia Greibach's theorem#TNCI |
| Formal statement of the theorem | BRJMDG0FF2 | statement | open | Wikipedia Casorati–Weierstrass theorem#O9QA |
| Formal statements | HE6ZASCZ9E | statement | open | Wikipedia Reconstruction conjecture#BV28 |
| Formal statements | HZGQPWT412 | statement | open | Wikipedia Ping-pong lemma#ITTZ |
| Formal statements | MBT3NMY9EK | statement | open | Wikipedia Fundamental theorem of calculus#OIQR |
| Formal statements | VFD4PBS0WR | statement | open | Wikipedia Positive energy theorem#5MDA |
| Formal sum | F8NZGFNGBF | definition | open | Wikipedia Formal sum, Wikidata Q30701870 |
| formal system | 89925QEMG1 | definition | open | Wikipedia Glossary of logic#IA4W |
| Formal system | A3QASCE7J9 | definition | open | Wikipedia Formal system, Wikidata Q649732 |
| Formal system | M44J96MBQY | unknown | open | Wikipedia List of types of systems theory#53NE |
| Formal system | XMGGM48FQ5 | definition | open | Wikipedia List of mathematical logic topics#9EW7, Wikipedia List of Boolean algebra topics#U921 |
| Formal verification of cryptographic protocols | XHY8970Q6K | unknown | open | Wikipedia Cryptographic protocol#G0NN |
| formal, formally | KJZHE8GTT3 | definition | open | Wikipedia Glossary of mathematical jargon#QSGA |
| formal, topology | Y0SWMMK2XK | concept | open | hott_book index/B.5/formal-topology |
| formal, type theory | MA4MKDM0S1 | concept | open | hott_book index/4/formal-type-theory |
| Formalism | 96MFFZPN57 | definition | open | Wikipedia Formalism (philosophy), Wikidata Q539750 |
| Formalism | MHGQMK53G4 | definition | open | Wikipedia Formalism (philosophy of mathematics), Wikidata Q1433067 |
| formality | HPPH2J435Y | unknown | open | Wikidata Q1757948, nLab formality |
| Formality with duality | YYW1TKYQK8 | conjecture | 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.04164#DXBG |
| Formalization of abduction | PEREYYQ6KF | unknown | open | Wikipedia Abductive reasoning#52Y3 |
| Formalization of algorithms | 88767FDBSZ | unknown | open | Wikipedia Algorithm#YO0Z |
| formalized | 3DT8VYMEF6 | 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.23143#55V7 |
| formally | HD5AJCTCM1 | definition | open | Wikipedia Glossary of commutative algebra#0EN1 |
| Formally catenary ring | V43AWHGYFE | unknown | open | Wikipedia Quasi-unmixed ring#C7R0 |
