List of mathematical logic topics
This page lists the items of the Wikipedia article List of mathematical logic topics in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1368371824, with the assessment List/High.
| Outcome | Items |
|---|---|
| deferred | 240 |
| attached | 1 |
The gap signals of the article are S1,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | topic | List of mathematical logic topics | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #024O | definition | Constructivist analysis | deferred until 2027-05-01 | the item has its own article, page 239851 | |
| #0HFV | definition | Theory (mathematical logic) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #0W6V | definition | Substructure (mathematics) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #0WV8 | unknown | ACL2 theorem prover | deferred until 2027-05-01 | the kind of the item is unknown | |
| #0YBR | definition | T-schema | deferred until 2027-05-01 | the item has its own article, page 1063436 | |
| #17Z3 | definition | Rocq | deferred until 2027-05-01 | the item has its own article, page 581974 | |
| #1DED | definition | Gentzen's consistency proof | deferred until 2027-05-01 | the item has its own article, page 4076831 | |
| #1EG8 | definition | Rank-into-rank | deferred until 2027-05-01 | the item has its own article, page 311017 | |
| #1LRO | definition | Herbrand interpretation | deferred until 2027-05-01 | the item has its own article, page 7731831 | |
| #1P4I | definition | Impredicative | deferred until 2027-05-01 | the item has its own article, page 1930406 | |
| #23TV | definition | Self-verifying theories | deferred until 2027-05-01 | the item has its own article, page 1007660 | |
| #260Z | definition | Axiomatic method | deferred until 2027-05-01 | the item has its own article, page 188401 | |
| #27YS | statement | Ax–Kochen theorem | deferred until 2027-05-01 | the item has its own article, page 5911859 | |
| #298F | topic | Luitzen Egbertus Jan Brouwer | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #2IOB | definition | Curry–Howard isomorphism | deferred until 2027-05-01 | the item has its own article, page 254299 | |
| #2K3P | topic | Reverse mathematics | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #2PH0 | unknown | HOL theorem prover | deferred until 2027-05-01 | the kind of the item is unknown | |
| #2VDV | definition | Matiyasevich's theorem | deferred until 2027-05-01 | the item has its own article, page 101700 | |
| #32T4 | topic | Metamathematics | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #33S3 | definition | System F | deferred until 2027-05-01 | the item has its own article, page 767637 | |
| #33TU | definition | Pregeometry (model theory) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #34BT | statement | Kleene's recursion theorem | deferred until 2027-05-01 | the item has its own article, page 155407 | |
| #3DBJ | definition | Structural proof theory | deferred until 2027-05-01 | the item has its own article, page 929998 | |
| #3JX0 | definition | Turing degree | deferred until 2027-05-01 | the item has its own article, page 764405 | |
| #3MRL | statement | Cut-elimination | deferred until 2027-05-01 | the item has its own article, page 910234 | |
| #3QMF | definition | Continuum (set theory) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #3ZXH | definition | Remarkable cardinal | deferred until 2027-05-01 | the item has its own article, page 529468 | |
| #488H | definition | Decidable language | deferred until 2027-05-01 | the item has its own article, page 23290990 | |
| #4SN8 | definition | Algebra of sets | deferred until 2027-05-01 | the item has its own article, page 1018676 | |
| #4XJU | definition | First-order resolution | deferred until 2027-05-01 | the item has its own article, page 2724082 | |
| #5ESO | definition | Ultraproduct | deferred until 2027-05-01 | the item has its own article, page 273642 | |
| #5IU9 | definition | Power set | deferred until 2027-05-01 | the item has its own article, page 23799 | |
| #5P08 | definition | Typed lambda calculus | deferred until 2027-05-01 | the item has its own article, page 366208 | |
| #5PAT | definition | Superstrong cardinal | deferred until 2027-05-01 | the item has its own article, page 248114 | |
| #6GGE | definition | Interactive proof system | deferred until 2027-05-01 | the item has its own article, page 160255 | |
| #6KI4 | definition | Kripke semantics | deferred until 2027-05-01 | the item has its own article, page 911960 | |
| #73YB | statement | Peano axioms | deferred until 2027-05-01 | the item has its own article, page 25005 | |
| #7BBD | statement | Ax–Grothendieck theorem | deferred until 2027-05-01 | the item has its own article, page 21867395 | |
| #7EHW | definition | Extendible cardinal | deferred until 2027-05-01 | the item has its own article, page 325950 | |
| #7G1Z | definition | Lambda cube | deferred until 2027-05-01 | the item has its own article, page 901593 | |
| #7RFE | statement | Cantor–Bernstein–Schroeder theorem | deferred until 2027-05-01 | the item has its own article, page 44218028 | |
| #7WC4 | definition | Complete Boolean algebra | deferred until 2027-05-01 | the item has its own article, page 1839944 | |
| #7YDL | definition | Non-standard model | deferred until 2027-05-01 | the item has its own article, page 30875811 | |
| #81BZ | definition | Lambda calculus | deferred until 2027-05-01 | the item has its own article, page 18203 | |
| #81NL | statement | Simple theorems in the algebra of sets | deferred until 2027-05-01 | the item has its own article, page 343400 | |
| #81QC | definition | Atomic model (mathematical logic) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #8ADS | definition | Systems of Logic Based on Ordinals | deferred until 2027-05-01 | the item has its own article, page 32122937 | |
| #8HLH | definition | Dialectica space | deferred until 2027-05-01 | the item has its own article, page 12288146 | |
| #8IX4 | definition | Proof-theoretic semantics | deferred until 2027-05-01 | the item has its own article, page 910505 | |
| #8SGD | definition | Arithmetization of analysis | deferred until 2027-05-01 | the item has its own article, page 294085 | |
| #8TTT | topic | Finite model theory | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #8WYQ | definition | Θ (set theory) | deferred until 2027-05-01 | the item has its own article, page 2818849 | |
| #8ZV2 | definition | Ineffable cardinal | deferred until 2027-05-01 | the item has its own article, page 270005 | |
| #936B | definition | Cardinality | deferred until 2027-05-01 | the item has its own article, page 6174 | |
| #93RB | definition | Effective results in number theory | deferred until 2027-05-01 | the item has its own article, page 250237 | |
| #9814 | definition | Hilbert's program | deferred until 2027-05-01 | the item has its own article, page 607286 | |
| #9EW7 | definition | Formal system | deferred until 2027-05-01 | the item has its own article, page 396102 | |
| #9FDF | unknown | Musical set theory | deferred until 2027-05-01 | the kind of the item is unknown | |
| #9HXK | topic | Set theory | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #9J2N | definition | Hypercomputation | deferred until 2027-05-01 | the item has its own article, page 175613 | |
| #9LGI | definition | Presburger arithmetic | deferred until 2027-05-01 | the item has its own article, page 23756 | |
| #9R4J | definition | Interpretation (logic) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #9XB0 | statement | Barwise compactness theorem | deferred until 2027-05-01 | the item has its own article, page 17971241 | |
| #A10W | definition | Intuitionistic type theory | deferred until 2027-05-01 | the item has its own article, page 345023 | |
| #A3AM | definition | Cointerpretability | deferred until 2027-05-01 | the item has its own article, page 621215 | |
| #AA1M | definition | Mathematical proof | deferred until 2027-05-01 | the item has its own article, page 82285 | |
| #AA9P | definition | Church–Turing thesis | deferred until 2027-05-01 | the item has its own article, page 6854 | |
| #AFQA | definition | Mahlo cardinal | deferred until 2027-05-01 | the item has its own article, page 248081 | |
| #AJOQ | statement | Löb's theorem | deferred until 2027-05-01 | the item has its own article, page 693002 | |
| #AS1O | definition | Analytical hierarchy | deferred until 2027-05-01 | the item has its own article, page 634233 | |
| #AVFB | topic | Rózsa Péter | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #AZK2 | definition | Naive set theory | deferred until 2027-05-01 | the item has its own article, page 21986 | |
| #B5YP | unknown | Vampire theorem prover | deferred until 2027-05-01 | the kind of the item is unknown | |
| #B6NS | definition | Non-standard analysis | deferred until 2027-05-01 | the item has its own article, page 21708 | |
| #B91Z | definition | Institutional model theory | deferred until 2027-05-01 | the item has its own article, page 7869341 | |
| #BEV9 | definition | Weak interpretability | deferred until 2027-05-01 | the item has its own article, page 655334 | |
| #BGJM | definition | Countable set | deferred until 2027-05-01 | the item has its own article, page 6026 | |
| #BGTS | definition | Type theory | deferred until 2027-05-01 | the item has its own article, page 40282 | |
| #BHHY | definition | Unfoldable cardinal | deferred until 2027-05-01 | the item has its own article, page 853783 | |
| #BPIV | statement | Deduction theorem | deferred until 2027-05-01 | the item has its own article, page 480010 | |
| #BR07 | definition | Skolemization | deferred until 2027-05-01 | the item has its own article, page 421074 | |
| #BU2D | definition | Recursively enumerable set | deferred until 2027-05-01 | the item has its own article, page 332090 | |
| #C3FD | statement | Compactness theorem | deferred until 2027-05-01 | the item has its own article, page 152207 | |
| #C660 | definition | Decidability (logic) | deferred until 2027-05-01 | the item has its own article, page 913118 | |
| #CB7T | definition | Erdős cardinal | deferred until 2027-05-01 | the item has its own article, page 326540 | |
| #CDIO | definition | Ordinal number | deferred until 2027-05-01 | the item has its own article, page 26547932 | |
| #CKUH | definition | Weakly inaccessible cardinal | deferred until 2027-05-01 | the item has its own article, page 248076 | |
| #CVY6 | topic | Haskell Curry | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #D5A7 | definition | Subtle cardinal | deferred until 2027-05-01 | the item has its own article, page 326550 | |
| #DFBG | definition | Class (set theory) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #DG6L | statement | Russell's paradox | deferred until 2027-05-01 | the item has its own article, page 46095 | |
| #DKGC | definition | Simply typed lambda calculus | deferred until 2027-05-01 | the item has its own article, page 1986011 | |
| #E17J | statement | Existence theorem | deferred until 2027-05-01 | the item has its own article, page 251177 | |
| #ED4N | definition | Intuitionistic logic | deferred until 2027-05-01 | the item has its own article, page 169262 | |
| #ELRX | statement | Löwenheim–Skolem theorem | deferred until 2027-05-01 | the item has its own article, page 341482 | |
| #EM7C | definition | Set (mathematics) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #EPG9 | statement | Gödel's incompleteness theorems | deferred until 2027-05-01 | the item has its own article, page 58863 | |
| #F1UH | definition | Interior algebra | deferred until 2027-05-01 | the item has its own article, page 990454 | |
| #FDWT | definition | Imaginary element | deferred until 2027-05-01 | the item has its own article, page 16081683 | |
| #FIQJ | topic | Jacques Herbrand | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #FLB6 | definition | Principia Mathematica | deferred until 2027-05-01 | the item has its own article, page 24133 | |
| #FONS | definition | Ultraintuitionism | deferred until 2027-05-01 | the item has its own article, page 145018 | |
| #FQ4P | definition | Von Neumann universe | deferred until 2027-05-01 | the item has its own article, page 445980 | |
| #FQHZ | definition | Strong cardinal | deferred until 2027-05-01 | the item has its own article, page 248104 | |
| #FSXP | definition | Quantifier elimination | deferred until 2027-05-01 | the item has its own article, page 2150441 | |
| #FV1J | definition | Union (set theory) | deferred until 2027-05-01 | the item has its own article, page 47949 | |
| #FVE3 | definition | Exponential field | deferred until 2027-05-01 | the item has its own article, page 21313650 | |
| #FZIO | definition | Ludics | deferred until 2027-05-01 | the item has its own article, page 902801 | |
| #G06D | topic | First-order arithmetic | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #G0CC | definition | Weakly hyper-Woodin cardinal | deferred until 2027-05-01 | the item has its own article, page 248105 | |
| #G44W | definition | Supercompact cardinal | deferred until 2027-05-01 | the item has its own article, page 248116 | |
| #G4M6 | definition | Axiomatic system | deferred until 2027-05-01 | the item has its own article, page 188401 | |
| #G8EE | topic | Stephen Cole Kleene | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #GD0D | definition | Woodin cardinal | deferred until 2027-05-01 | the item has its own article, page 248105 | |
| #GED2 | definition | Ehrenfeucht–Fraïssé game | deferred until 2027-05-01 | the item has its own article, page 1040475 | |
| #GJV9 | topic | Alan Turing | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #H4WZ | definition | Natural proof | deferred until 2027-05-01 | the item has its own article, page 662262 | |
| #H743 | problem | Undecidable language | deferred until 2027-05-01 | the item has its own article, page 15631055 | |
| #H86D | definition | Cirquent calculus | deferred until 2027-05-01 | the item has its own article, page 47037875 | |
| #HOHC | definition | Mathematical induction | deferred until 2027-05-01 | the item has its own article, page 18881 | |
| #HQCI | statement | Gödel's completeness theorem | deferred until 2027-05-01 | the item has its own article, page 12450 | |
| #HSVY | statement | Axiom of choice | deferred until 2027-05-01 | the item has its own article, page 840 | |
| #HXM6 | definition | Foundations of mathematics | deferred until 2027-05-01 | the item has its own article, page 169358 | |
| #IGJB | definition | Forcing (mathematics) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #IH5U | statement | Peano axioms | deferred until 2027-05-01 | the item has its own article, page 25005 | |
| #IPW8 | definition | Interpretability logic | deferred until 2027-05-01 | the item has its own article, page 618086 | |
| #IY4F | definition | Saturated model | deferred until 2027-05-01 | the item has its own article, page 535836 | |
| #J2UQ | definition | Age (model theory) | deferred until 2027-05-01 | the item has its own article, page 62592127 | |
| #J3BG | definition | N-huge cardinal | deferred until 2027-05-01 | the item has its own article, page 248117 | |
| #J4E7 | definition | Functional predicate | deferred until 2027-05-01 | the item has its own article, page 174908 | |
| #JCBO | definition | Begriffsschrift | deferred until 2027-05-01 | the item has its own article, page 900125 | |
| #JEFQ | definition | Nonfirstorderizability | deferred until 2027-05-01 | the item has its own article, page 606880 | |
| #JYER | definition | Analytic proof | deferred until 2027-05-01 | the item has its own article, page 1007110 | |
| #K0W0 | topic | Categorical logic | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #K90W | definition | Tolerant sequence | deferred until 2027-05-01 | the item has its own article, page 621230 | |
| #KCQ2 | definition | Second-order arithmetic | deferred until 2027-05-01 | the item has its own article, page 3542454 | |
| #KDF4 | definition | Hyper-Woodin cardinal | deferred until 2027-05-01 | the item has its own article, page 248105 | |
| #KHNJ | definition | Type (model theory) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #KL59 | definition | Weakly compact cardinal | deferred until 2027-05-01 | the item has its own article, page 272054 | |
| #KS3K | definition | Definable real number | deferred until 2027-05-01 | the item has its own article, page 8361 | |
| #KYH2 | definition | Tree (descriptive set theory) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #L00L | definition | Isabelle theorem prover | deferred until 2027-05-01 | the item has its own article, page 161886 | |
| #L1RJ | topic | Set theory | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #LAD8 | definition | Consistency proof | deferred until 2027-05-01 | the item has its own article, page 75802 | |
| #LUS3 | definition | Zero sharp | deferred until 2027-05-01 | the item has its own article, page 248085 | |
| #M29C | definition | L(R) | deferred until 2027-05-01 | the item has its own article, page 2250604 | |
| #M9BA | definition | Shelah cardinal | deferred until 2027-05-01 | the item has its own article, page 529392 | |
| #MDSH | unknown | Subrecursion theory | deferred until 2027-05-01 | the kind of the item is unknown | |
| #MKEW | definition | Reduct | deferred until 2027-05-01 | the item has its own article, page 12747972 | |
| #MLXS | definition | Introduction to topos theory | deferred until 2027-05-01 | the item has its own article, page 253859 | |
| #MRM1 | statement | Wilkie's theorem | deferred until 2027-05-01 | the item has its own article, page 22304328 | |
| #MWJ2 | definition | Large cardinal property | deferred until 2027-05-01 | the item has its own article, page 383644 | |
| #MWWU | definition | Tree (set theory) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #NNU8 | definition | Non-standard model of arithmetic | deferred until 2027-05-01 | the item has its own article, page 6251420 | |
| #NTRJ | definition | Ramsey cardinal | deferred until 2027-05-01 | the item has its own article, page 326533 | |
| #NVDE | definition | Computable function | deferred until 2027-05-01 | the item has its own article, page 1139338 | |
| #NZMJ | definition | Existentially closed model | deferred until 2027-05-01 | the item has its own article, page 11168195 | |
| #O2F0 | definition | Lindenbaum–Tarski algebra | deferred until 2027-05-01 | the item has its own article, page 990343 | |
| #O7RD | definition | Definable set | deferred until 2027-05-01 | the item has its own article, page 5569486 | |
| #OCKJ | statement | Tarski's undefinability theorem | deferred until 2027-05-01 | the item has its own article, page 583785 | |
| #OMY1 | statement | Post's theorem | deferred until 2027-05-01 | the item has its own article, page 764468 | |
| #ORMK | definition | Zariski geometry | deferred until 2027-05-01 | the item has its own article, page 3133250 | |
| #ORV5 | definition | Inaccessible cardinal | deferred until 2027-05-01 | the item has its own article, page 248076 | |
| #P766 | definition | Complement (set theory) | deferred until 2027-05-01 | the item has its own article, page 54347 | |
| #P8C8 | definition | Subset | deferred until 2027-05-01 | the item has its own article, page 27631 | |
| #PEIT | definition | Empty set | deferred until 2027-05-01 | the item has its own article, page 9566 | |
| #PU96 | definition | Predicate logic | deferred until 2027-05-01 | the item has its own article, page 10983 | |
| #PW6O | definition | Differentially closed field | deferred until 2027-05-01 | the item has its own article, page 10470883 | |
| #Q6Z2 | statement | Diagonal lemma | deferred until 2027-05-01 | the item has its own article, page 348969 | |
| #QCXD | topic | Determinacy | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #QGL0 | topic | Computable model theory | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #QGQM | definition | Huge cardinal | deferred until 2027-05-01 | the item has its own article, page 248117 | |
| #QPW5 | definition | Entscheidungsproblem | deferred until 2027-05-01 | the item has its own article, page 9672 | |
| #QROB | definition | Sequent | deferred until 2027-05-01 | the item has its own article, page 252355 | |
| #QUDX | topic | Alonzo Church | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #QZXA | definition | Almost Ramsey cardinal | deferred until 2027-05-01 | the item has its own article, page 326533 | |
| #R2H8 | definition | Cantor's first uncountability proof | deferred until 2027-05-01 | the item has its own article, page 22697171 | |
| #R5KY | definition | Arithmetical set | deferred until 2027-05-01 | the item has its own article, page 2342451 | |
| #R7JT | definition | Sequent calculus | deferred until 2027-05-01 | the item has its own article, page 252329 | |
| #R9EZ | topic | Gerhard Gentzen | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #RB67 | definition | Interpretation (model theory) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #RDKA | definition | Cartesian product | deferred until 2027-05-01 | the item has its own article, page 24104095 | |
| #RF0I | definition | LF (logical framework) | deferred until 2027-05-01 | the item has its own article, page 901613 | |
| #RIT4 | problem | Decision problem | deferred until 2027-05-01 | the item has its own article, page 8336 | |
| #RIZE | unknown | Otter theorem prover | deferred until 2027-05-01 | the kind of the item is unknown | |
| #RKEO | unknown | Eurisko | deferred until 2027-05-01 | the kind of the item is unknown | |
| #RPCG | definition | Boolean algebra (structure) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #RQFQ | statement | Automated theorem proving | deferred until 2027-05-01 | the item has its own article, page 2546 | |
| #S59Q | definition | Soundness theorem | deferred until 2027-05-01 | the item has its own article, page 26819 | |
| #SK07 | definition | Computability logic | deferred until 2027-05-01 | the item has its own article, page 616985 | |
| #SU2K | definition | Formal language | deferred until 2027-05-01 | the item has its own article, page 10939 | |
| #T0FD | definition | Back-and-forth method | deferred until 2027-05-01 | the item has its own article, page 2033586 | |
| #T5ME | unknown | E equational theorem prover | deferred until 2027-05-01 | the kind of the item is unknown | |
| #TD0P | definition | Computable measure theory | deferred until 2027-05-01 | the item has its own article, page 723392 | |
| #TEMQ | definition | L | deferred until 2027-05-01 | the name is one character, so a person gives the name | |
| #TG7U | definition | Structure (mathematical logic) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #TOLI | definition | Measurable cardinal | deferred until 2027-05-01 | the item has its own article, page 248102 | |
| #TU2C | definition | Provability logic | deferred until 2027-05-01 | the item has its own article, page 618119 | |
| #TUOR | unknown | Cotolerant sequence | deferred until 2027-05-01 | the kind of the item is unknown | |
| #TWJB | definition | Indiscernibles | deferred until 2027-05-01 | the item has its own article, page 4075543 | |
| #TZF5 | definition | Axiomatization | deferred until 2027-05-01 | the item has its own article, page 188401 | |
| #UARJ | statement | Sahlqvist formula | deferred until 2027-05-01 | the item has its own article, page 917633 | |
| #UCH4 | definition | Algebraic logic | deferred until 2027-05-01 | the item has its own article, page 7870034 | |
| #UGZ2 | definition | Diophantine set | deferred until 2027-05-01 | the item has its own article, page 101700 | |
| #UI7I | definition | Nonconstructive proof | deferred until 2027-05-01 | the item has its own article, page 360113 | |
| #UKVJ | definition | Elementary substructure | deferred until 2027-05-01 | the item has its own article, page 972601 | |
| #UOLG | definition | Tautology | deferred until 2027-05-01 | the item has its own article, page 34896576 | |
| #USK1 | definition | Intersection (set theory) | deferred until 2027-05-01 | the item has its own article, page 23476429 | |
| #UTWC | definition | Fuzzy set | deferred until 2027-05-01 | the item has its own article, page 56601 | |
| #VCPI | proof | Proof theory | attached | ||
| #VDVF | unknown | Automated Mathematician | deferred until 2027-05-01 | the kind of the item is unknown | |
| #VI1Z | definition | System F | deferred until 2027-05-01 | the item has its own article, page 767637 | |
| #VKHL | definition | QED project | deferred until 2027-05-01 | the item has its own article, page 209532 | |
| #VPE7 | definition | Skolem normal form | deferred until 2027-05-01 | the item has its own article, page 421074 | |
| #VUW9 | definition | Internal set theory | deferred until 2027-05-01 | the item has its own article, page 865686 | |
| #W1U3 | statement | Cantor's theorem | deferred until 2027-05-01 | the item has its own article, page 341442 | |
| #W46C | definition | Calculus of constructions | deferred until 2027-05-01 | the item has its own article, page 613557 | |
| #WBIA | statement | Continuum hypothesis | deferred until 2027-05-01 | the item has its own article, page 5705 | |
| #WILC | definition | Cantor's back-and-forth method | deferred until 2027-05-01 | the item has its own article, page 2033586 | |
| #WPUJ | definition | LCF theorem prover | deferred until 2027-05-01 | the item has its own article, page 161900 | |
| #WTMY | definition | Universe (mathematics) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #X73G | statement | Burali-Forti paradox | deferred until 2027-05-01 | the item has its own article, page 51653 | |
| #X942 | definition | Finitism | deferred until 2027-05-01 | the item has its own article, page 152900 | |
| #XF0T | definition | Definable real number | deferred until 2027-05-01 | the item has its own article, page 8361 | |
| #XK8Q | problem | Word problem for groups | deferred until 2027-05-01 | the item has its own article, page 33563 | |
| #XM6P | topic | Descriptive set theory | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #XMUM | definition | Strongly inaccessible cardinal | deferred until 2027-05-01 | the item has its own article, page 248076 | |
| #XNYN | topic | Substructural logic | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #Y1MI | definition | Cantor's diagonal argument | deferred until 2027-05-01 | the item has its own article, page 51426 | |
| #Y98M | definition | Interpretability | deferred until 2027-05-01 | the item has its own article, page 621176 | |
| #YI45 | definition | Kripke semantics | deferred until 2027-05-01 | the item has its own article, page 911960 | |
| #YTCA | definition | Totally indescribable cardinal | deferred until 2027-05-01 | the item has its own article, page 248097 | |
| #YZD9 | definition | Arithmetical hierarchy | deferred until 2027-05-01 | the item has its own article, page 186475 | |
| #Z05C | definition | Signature (logic) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #Z27X | definition | Mizar system | deferred until 2027-05-01 | the item has its own article, page 209074 | |
| #Z28E | definition | Potential isomorphism | deferred until 2027-05-01 | the item has its own article, page 2995958 | |
| #Z5W2 | statement | Rice's theorem | deferred until 2027-05-01 | the item has its own article, page 25852 | |
| #Z71O | definition | Boolean-valued model | deferred until 2027-05-01 | the item has its own article, page 2732301 | |
| #ZAUQ | definition | Prime model | deferred until 2027-05-01 | the item has its own article, page 1663421 | |
| #ZZKQ | topic | Emil Post | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) |
Refer to Wikipedia articles and their nodes for the other articles.