This tool looks for unlabeled Wikidata items in your language. It starts with a Wikidata item,
looks at all the associated Wikipedia pages, the links on all those pages, and lists the Wikidata items corresponding to the link targets.
Q7243580 - primitive recursive arithmetic
Searching link targets on 3 Wikipedias...
| Item | Label [en] | Wikilabels | Link # |
|---|---|---|---|
Q32043 [CC |  ] | addition | Addition | 加法 | Adición (matemática) | 3 |
| Q4055684 [CC | ] | first-order logic | First-order logic | 一階述語論理 | Lógica de primer orden | 3 |
| Q833585 [CC | ] | foundations of mathematics | Foundations of mathematics | 数学基礎論 | Fundamentos de las matemáticas | 3 |
| Q92611 [CC | ] | Haskell Curry | Haskell Curry | ハスケル・カリー | 3 |
| Q191081 [CC | ] | logical conjunction | Logical conjunction | 論理積 | Conjunción lógica | 3 |
| Q1651704 [CC | ] | logical disjunction | Logical disjunction | 論理和 | Disyunción lógica | 3 |
| Q178377 [CC | ] | mathematical induction | Mathematical induction | 数学的帰納法 | Inducción matemática | 3 |
| Q40276 [CC | ] | multiplication | Multiplication | 乗法 | Multiplicación | 3 |
| Q21199 [CC | ] | natural number | Natural number | 自然数 | Número natural | 3 |
| Q190558 [CC | ] | logical negation | Negation | 否定 | Negación lógica | 3 |
| Q852732 [CC | ] | proof theory | Proof theory | 証明論 | Teoría de la demostración | 3 |
| Q200694 [CC | ] | propositional calculus | Propositional calculus | 命題論理 | Lógica proposicional | 3 |
| Q2584927 [CC | ] | American Journal of Mathematics | American Journal of Mathematics | 2 |
| Q1315869 [CC | ] | arity | Arity | Aridad | 2 |
| Q17736 [CC | ] | axiom | Axiom | Axioma | 2 |
| Q1319773 [CC | ] | consistency | Consistency | Consistencia (lógica) | 2 |
| Q66707394 [CC | ] | countable set | Countable set | Conjunto numerable | 2 |
| Q5358906 [CC | ] | elementary function arithmetic | Elementary function arithmetic | 初等関数算術 | 2 |
| Q842346 [CC | ] | equality | Equality (mathematics) | Igualdad matemática | 2 |
| Q130998 [CC | ] | equivalence relation | Equivalence relation | Relación de equivalencia | 2 |
| Q33456 [CC | ] | exponentiation | Exponentiation | Potenciación | 2 |
| Q649732 [CC | ] | formal system | Formal system | Sistema formal | 2 |
| Q5533794 [CC | ] | Gentzen's consistency proof | Gentzen's consistency proof | Demostración de consistencia de Gentzen | 2 |
| Q5548813 [CC | ] | Heyting arithmetic | Heyting arithmetic | Aritmética de Heyting | 2 |
| Q449711 [CC | ] | Jean van Heijenoort | Jean van Heijenoort | 2 |
| Q655742 [CC | ] | modus ponens | Modus ponens | Modus ponendo ponens | 2 |
| Q842755 [CC | ] | Peano axioms | Peano axioms | Axiomas de Peano | 2 |
| Q1570472 [CC | ] | primitive recursive function | Primitive recursive function | Recursión primitiva | 2 |
| Q592911 [CC | ] | quantifier | Quantifier (logic) | Cuantificador | 2 |
| Q1068763 [CC | ] | rule of inference | Rule of inference | Regla de inferencia | 2 |
| Q7442973 [CC | ] | second-order arithmetic | Second-order arithmetic | Aritmética de segundo orden | 2 |
| Q957416 [CC | ] | Solomon Feferman | Solomon Feferman | 2 |
| Q209555 [CC | ] | tautology | Tautology (logic) | Tautología | 2 |
| Q1642306 [CC | ] | The Journal of Philosophy | The Journal of Philosophy | 2 |
| Q548080 [CC | ] | Thoralf Skolem | Thoralf Skolem | トアルフ・スコーレム | 2 |
| Q1069891 [CC | ] | transfinite number | Transfinite number | Número transfinito | 2 |
| Q903508 [CC | ] | metamathematics | 超数学 | Metamatemática | 2 |
| Q2748142 [CC | ] | abstract logic | Abstract logic | 1 |
| Q341810 [CC | ] | Ackermann set theory | Ackermann set theory | 1 |
| Q908627 [CC | ] | aleph number | Aleph number | 1 |
| Q1005222 [CC | ] | algebraic logic | Algebraic logic | 1 |
| Q837518 [CC | ] | alphabet | Alphabet (formal languages) | 1 |
| Q186619 [CC | ] | argument | Argument | 1 |
| Q2328174 [CC | ] | atomic formula | Atomic formula | 1 |
| Q4345785 [CC | ] | atomic sentence | Atomic sentence | 1 |
| Q214526 [CC | ] | automata theory | Automata theory | 1 |
| Q431667 [CC | ] | automated theorem proving | Automated theorem proving | 1 |
| Q179692 [CC | ] | axiom of choice | Axiom of choice | 1 |
| Q792536 [CC | ] | axiom schema | Axiom schema | 1 |
| Q792542 [CC | ] | axiomatic system | Axiomatic system | 1 |
| Q737851 [CC | ] | Banach–Tarski paradox | Banach–Tarski paradox | 1 |
| Q180907 [CC | ] | bijection | Bijection | 1 |
| Q164307 [CC | ] | binary operation | Binary operation | 1 |
| Q173183 [CC | ] | boolean algebra | Boolean algebra | 1 |
| Q4943350 [CC | ] | Boolean algebras canonically defined | Boolean algebras canonically defined | 1 |
| Q942353 [CC | ] | Boolean function | Boolean function | 1 |
| Q729471 [CC | ] | Cantor's diagonal argument | Cantor's diagonal argument | 1 |
| Q379078 [CC | ] | Cantor's paradox | Cantor's paradox | 1 |
| Q474881 [CC | ] | Cantor's theorem | Cantor's theorem | 1 |
| Q4049983 [CC | ] | cardinality | Cardinality | 1 |
| Q173740 [CC | ] | Cartesian product | Cartesian product | 1 |
| Q15830473 [CC | ] | Morley's categoricity theorem | Categorical theory | 1 |
| Q719395 [CC | ] | category | Category (mathematics) | 1 |
| Q2518298 [CC | ] | category of sets | Category of sets | 1 |
| Q217413 [CC | ] | category theory | Category theory | 1 |
| Q1089708 [CC | ] | Church encoding | Church encoding | 1 |
| Q309157 [CC | ] | Church-Turing thesis | Church–Turing thesis | 1 |
| Q217594 [CC | ] | class | Class (set theory) | 1 |
| Q236975 [CC | ] | classical logic | Classical logic | 1 |
| Q199006 [CC | ] | codomain | Codomain | 1 |
| Q1149458 [CC | ] | compactness theorem | Compactness theorem | 1 |
| Q242767 [CC | ] | complement | Complement (set theory) | 1 |
| Q3508260 [CC | ] | complete theory | Complete theory | 1 |
| Q818930 [CC | ] | computability theory | Computability theory | 1 |
| Q1148456 [CC | ] | computable function | Computable function | 1 |
| Q877945 [CC | ] | recursive set | Computable set | 1 |
| Q676835 [CC | ] | recursively enumerable set | Computably enumerable set | 1 |
| Q1575634 [CC | ] | concrete category | Concrete category | 1 |
| Q864213 [CC | ] | Conservative extension | Conservative extension | 1 |
| Q2777107 [CC | ] | constructible universe | Constructible universe | 1 |
| Q2584477 [CC | ] | Construction of the real numbers | Construction of the real numbers | 1 |
| Q5164501 [CC | ] | constructive set theory | Constructive set theory | 1 |
| Q208416 [CC | ] | continuum hypothesis | Continuum hypothesis | 1 |
| Q430001 [CC | ] | decidability | Decidability (logic) | 1 |
| Q3262192 [CC | ] | decision problem | Decision problem | 1 |
| Q3322159 [CC | ] | deductive system | Deductive system | 1 |
| Q15805655 [CC | ] | diagram | Diagram (mathematical logic) | 1 |
| Q192439 [CC | ] | domain of a function | Domain of a function | 1 |
| Q379825 [CC | ] | element | Element (mathematics) | 1 |
| Q5358902 [CC | ] | Elementary diagram | Elementary diagram | 1 |
| Q877149 [CC | ] | elementary equivalence | Elementary equivalence | 1 |
| Q226183 [CC | ] | empty set | Empty set | 1 |
| Q2704791 [CC | ] | enumeration | Enumeration | 1 |
| Q5384443 [CC | ] | Equiconsistency | Equiconsistency | 1 |
| Q172891 [CC | ] | Elements | Euclid's Elements | 1 |
| Q162886 [CC | ] | Euclidean geometry | Euclidean geometry | 1 |
| Q773483 [CC | ] | existential quantification | Existential quantification | 1 |
| Q6498784 [CC | ] | mathematical expression | Expression (mathematics) | 1 |
| Q5421941 [CC | ] | Extension by definitions | Extension by definitions | 1 |
| Q5163116 [CC | ] | Conservativity theorem | Extension by new constant and function names | 1 |
| Q965432 [CC | ] | extensionality | Extensionality | 1 |
| Q203066 [CC | ] | relation | Finitary relation | 1 |
| Q5450405 [CC | ] | finite model theory | Finite model theory | 1 |
| Q272404 [CC | ] | finite set | Finite set | 1 |
| Q55611653 [CC | ] | Finite-valued logic | Finite-valued logic | 1 |
| Q108377928 [CC | ] | First-order arithmetic | First-order arithmetic | 1 |
| Q111181235 [CC | ] | Fixed-point logic | Fixed-point logic | 1 |
| Q1003136 [CC | ] | forcing | Forcing (mathematics) | 1 |
| Q373045 [CC | ] | formal grammar | Formal grammar | 1 |
| Q192161 [CC | ] | formal language | Formal language | 1 |
| Q2762418 [CC | ] | formal proof | Formal proof | 1 |
| Q3005945 [CC | ] | formation rule | Formation rule | 1 |
| Q5474574 [CC | ] | foundations of geometry | Foundations of geometry | 1 |
| Q3502887 [CC | ] | free logic | Free logic | 1 |
| Q935944 [CC | ] | free and bound variables | Free variables and bound variables | 1 |
| Q11348 [CC | ] | function | Function (mathematics) | 1 |
| Q5508846 [CC | ] | functional predicate | Functional predicate | 1 |
| Q1055058 [CC | ] | fuzzy set | Fuzzy set | 1 |
| Q5532389 [CC | ] | general set theory | General set theory | 1 |
| Q951409 [CC | ] | Georg Kreisel | Georg Kreisel | 1 |
| Q1465090 [CC | ] | Grothendieck universe | Grothendieck universe | 1 |
| Q431411 [CC | ] | ground expression | Ground expression | 1 |
| Q110765095 [CC | ] | ground formula | Ground formula | 1 |
| Q1451046 [CC | ] | Gödel numbering | Gödel numbering | 1 |
| Q902052 [CC | ] | Gödel's completeness theorem | Gödel's completeness theorem | 1 |
| Q200787 [CC | ] | Gödel's incompleteness theorems | Gödel's incompleteness theorems | 1 |
| Q622849 [CC | ] | halting problem | Halting problem | 1 |
| Q5737878 [CC | ] | Hereditary set | Hereditary set | 1 |
| Q1644136 [CC | ] | higher-order logic | Higher-order logic | 1 |
| Q910361 [CC | ] | Hilbert system | Hilbert system | 1 |
| Q840243 [CC | ] | Hilbert's axioms | Hilbert's axioms | 1 |
| Q468620 [CC | ] | history of logic | History of logic | 1 |
| Q860623 [CC | ] | image | Image (mathematics) | 1 |
| Q1331373 [CC | ] | inaccessible cardinal | Inaccessible cardinal | 1 |
| Q2705017 [CC | ] | independence | Independence (mathematical logic) | 1 |
| Q408386 [CC | ] | inference | Inference | 1 |
| Q205140 [CC | ] | infinite set | Infinite set | 1 |
| Q55614449 [CC | ] | Infinite-valued logic | Infinite-valued logic | 1 |
| Q131222 [CC | ] | information theory | Information theory | 1 |
| Q6033616 [CC | ] | inhabited set | Inhabited set | 1 |
| Q182003 [CC | ] | injection | Injective function | 1 |
| Q523607 [CC | ] | interpretation | Interpretation (logic) | 1 |
| Q17101792 [CC | ] | interpretation | Interpretation (model theory) | 1 |
| Q185837 [CC | ] | intersection | Intersection (set theory) | 1 |
| Q189112 [CC | ] | isomorphism | Isomorphism | 1 |
| Q1456811 [CC | ] | Kolmogorov complexity | Kolmogorov complexity | 1 |
| Q3526833 [CC | ] | Kripke–Platek set theory | Kripke–Platek set theory | 1 |
| Q242028 [CC | ] | lambda calculus | Lambda calculus | 1 |
| Q1548262 [CC | ] | large cardinal | Large cardinal | 1 |
| Q207505 [CC | ] | lemma | Lemma (mathematics) | 1 |
| Q2379128 [CC | ] | Lindström's theorem | Lindström's theorem | 1 |
| Q6626686 [CC | ] | list of logic systems | List of Hilbert systems | 1 |
| Q3632199 [CC | ] | list of axioms | List of axioms | 1 |
| Q2908665 [CC | ] | list of first-order theories | List of first-order theories | 1 |
| Q6621081 [CC | ] | list of formal systems | List of formal systems | 1 |
| Q6627335 [CC | ] | list of mathematical theories | List of mathematical theories | 1 |
| Q104867734 [CC | ] | list of set identities and relations | List of set identities and relations | 1 |
| Q6641390 [CC | ] | list of statements undecidable in ZFC | List of statements independent of ZFC | 1 |
| Q8078 [CC | ] | logic | Logic | 1 |
| Q204355 [CC | ] | logical biconditional | Logical biconditional | 1 |
| Q211790 [CC | ] | logical connective | Logical connective | 1 |
| Q374182 [CC | ] | logical consequence | Logical consequence | 1 |
| Q1782658 [CC | ] | logical constant | Logical constant | 1 |
| Q3308477 [CC | ] | logic equality | Logical equality | 1 |
| Q220433 [CC | ] | logical equivalence | Logical equivalence | 1 |
| Q3311695 [CC | ] | logical truth | Logical truth | 1 |
| Q845691 [CC | ] | logicism | Logicism | 1 |
| Q1068283 [CC | ] | Löwenheim–Skolem theorem | Löwenheim–Skolem theorem | 1 |
| Q185502 [CC | ] | many-valued logic | Many-valued logic | 1 |
| Q370502 [CC | ] | mapping | Map (mathematics) | 1 |
| Q7881229 [CC | ] | logical implication | Material conditional | 1 |
| Q1166618 [CC | ] | mathematical logic | Mathematical logic | 1 |
| Q246672 [CC | ] | mathematical object | Mathematical object | 1 |
| Q193983 [CC | ] | metalanguage | Metalanguage | 1 |
| Q4059939 [CC | ] | Wolfram axiom | Minimal axioms for Boolean algebra | 1 |
| Q6888319 [CC | ] | model complete theory | Model complete theory | 1 |
| Q467606 [CC | ] | model theory | Model theory | 1 |
| Q6897882 [CC | ] | Monadic predicate calculus | Monadic predicate calculus | 1 |
| Q26899137 [CC | ] | monadic second-order logic | Monadic second-order logic | 1 |
| Q3490369 [CC | ] | Morse–Kelley set theory | Morse–Kelley set theory | 1 |
| Q628036 [CC | ] | NP | NP (complexity) | 1 |
| Q903783 [CC | ] | naive set theory | Naive set theory | 1 |
| Q1572108 [CC | ] | natural deduction | Natural deduction | 1 |
| Q649337 [CC | ] | New Foundations | New Foundations | 1 |
| Q233858 [CC | ] | non-Euclidean geometry | Non-Euclidean geometry | 1 |
| Q7048956 [CC | ] | Non-logical symbol | Non-logical symbol | 1 |
| Q3318128 [CC | ] | non-standard model | Non-standard model | 1 |
| Q3318130 [CC | ] | non-standard model of arithmetic | Non-standard model of arithmetic | 1 |
| Q830486 [CC | ] | open formula | Open formula | 1 |
| Q3884033 [CC | ] | operation | Operation (mathematics) | 1 |
| Q7100782 [CC | ] | ordinal analysis | Ordinal analysis | 1 |
| Q191780 [CC | ] | ordinal number | Ordinal number | 1 |
| Q846354 [CC | ] | P | P (complexity) | 1 |
| Q746242 [CC | ] | P versus NP problem | P versus NP problem | 1 |
| Q4344872 [CC | ] | paradoxes of set theory | Paradoxes of set theory | 1 |
| Q381060 [CC | ] | partition of a set | Partition of a set | 1 |
| Q49938 [CC | ] | Peano arithmetic | Peano arithmetic | 1 |
| Q180536 [CC | ] | philosophy of mathematics | Philosophy of mathematics | 1 |
| Q205170 [CC | ] | power set | Power set | 1 |
| Q1144319 [CC | ] | predicate | Predicate (mathematical logic) | 1 |
| Q35148 [CC | ] | predicate logic | Predicate logic | 1 |
| Q10531432 [CC | ] | predicate variable | Predicate variable | 1 |
| Q163335 [CC | ] | Principia Mathematica | Principia Mathematica | 1 |
| Q17163436 [CC | ] | proof of impossibility | Proof of impossibility | 1 |
| Q108163 [CC | ] | proposition | Proposition | 1 |
| Q1372900 [CC | ] | propositional formula | Propositional formula | 1 |
| Q3492863 [CC | ] | propositional variable | Propositional variable | 1 |
| Q7268912 [CC | ] | quantifier rank | Quantifier rank | 1 |
| Q179976 [CC | ] | recursion | Recursion | 1 |
| Q123739394 [CC | ] | Relation | Relation (mathematics) | 1 |
| Q1191771 [CC | ] | Reuben Goodstein | Reuben Goodstein | 1 |
| Q2005236 [CC | ] | reverse mathematics | Reverse mathematics | 1 |
| Q928884 [CC | ] | Robinson arithmetic | Robinson arithmetic | 1 |
| Q33401 [CC | ] | Russell's paradox | Russell's paradox | 1 |
| Q1350299 [CC | ] | satisfiability | Satisfiability | 1 |
| Q1473532 [CC | ] | Saturated model | Saturated model | 1 |
| Q1033910 [CC | ] | Cantor–Bernstein–Schroeder theorem | Schröder–Bernstein theorem | 1 |
| Q1548746 [CC | ] | second-order logic | Second-order logic | 1 |
| Q7448234 [CC | ] | Self-verifying theories | Self-verifying theories | 1 |
| Q7449101 [CC | ] | semantic theory of truth | Semantic theory of truth | 1 |
| Q963731 [CC | ] | semantics of logic | Semantics of logic | 1 |
| Q2509500 [CC | ] | sentence | Sentence (mathematical logic) | 1 |
| Q1771121 [CC | ] | sequent calculus | Sequent calculus | 1 |
| Q36161 [CC | ] | set | Set (mathematics) | 1 |
| Q12482 [CC | ] | set theory | Set theory | 1 |
| Q741810 [CC | ] | signature | Signature (logic) | 1 |
| Q1165112 [CC | ] | singleton | Singleton (mathematics) | 1 |
| Q7536198 [CC | ] | Skolem arithmetic | Skolem arithmetic | 1 |
| Q693083 [CC | ] | soundness | Soundness | 1 |
| Q18392333 [CC | ] | Spectrum of a sentence | Spectrum of a sentence | 1 |
| Q7575321 [CC | ] | Spectrum of a theory | Spectrum of a theory | 1 |
| Q2749902 [CC | ] | square of opposition | Square of opposition | 1 |
| Q1989404 [CC | ] | strength | Strength (mathematical logic) | 1 |
| Q2594083 [CC | ] | word | String (formal languages) | 1 |
| Q1851710 [CC | ] | structure | Structure (mathematical logic) | 1 |
| Q1522579 [CC | ] | substitution | Substitution (logic) | 1 |
| Q859254 [CC | ] | Substructure | Substructure (mathematics) | 1 |
| Q7644269 [CC | ] | supertask | Supertask | 1 |
| Q229102 [CC | ] | surjective function | Surjective function | 1 |
| Q107342 [CC | ] | syllogism | Syllogism | 1 |
| Q2372244 [CC | ] | symbol | Symbol (formal) | 1 |
| Q2395230 [CC | ] | syntax | Syntax (logic) | 1 |
| Q442383 [CC | ] | T-schema | T-schema | 1 |
| Q7686756 [CC | ] | Tarski's axiomatization of the reals | Tarski's axiomatization of the reals | 1 |
| Q7686757 [CC | ] | Tarski's axioms | Tarski's axioms | 1 |
| Q574902 [CC | ] | Tarski's undefinability theorem | Tarski's undefinability theorem | 1 |
| Q3984085 [CC | ] | Tarski–Grothendieck set theory | Tarski–Grothendieck set theory | 1 |
| Q1318370 [CC | ] | term | Term (logic) | 1 |
| Q237125 [CC | ] | term logic | Term logic | 1 |
| Q65943 [CC | ] | theorem | Theorem | 1 |
| Q10859910 [CC | ] | theory | Theory (mathematical logic) | 1 |
| Q185443 [CC | ] | three-valued logic | Three-valued logic | 1 |
| Q7806105 [CC | ] | timeline of mathematical logic | Timeline of mathematical logic | 1 |
| Q17157202 [CC | ] | transfer principle | Transfer principle | 1 |
| Q671944 [CC | ] | transitive set | Transitive set | 1 |
| Q7847560 [CC | ] | True arithmetic | True arithmetic | 1 |
| Q7848347 [CC | ] | Truth predicate | Truth predicate | 1 |
| Q219079 [CC | ] | truth table | Truth table | 1 |
| Q185521 [CC | ] | truth value | Truth value | 1 |
| Q163310 [CC | ] | Turing machine | Turing machine | 1 |
| Q834884 [CC | ] | type | Type (model theory) | 1 |
| Q1056428 [CC | ] | type theory | Type theory | 1 |
| Q1535225 [CC | ] | ultraproduct | Ultraproduct | 1 |
| Q1128796 [CC | ] | uncountable set | Uncountable set | 1 |
| Q3502995 [CC | ] | undecidable problem | Undecidable problem | 1 |
| Q7885264 [CC | ] | Uninterpreted function | Uninterpreted function | 1 |
| Q185359 [CC | ] | union | Union (set theory) | 1 |
| Q2502253 [CC | ] | uniqueness quantification | Uniqueness quantification | 1 |
| Q126695 [CC | ] | universal quantification | Universal quantification | 1 |
| Q1378301 [CC | ] | universal set | Universal set | 1 |
| Q597663 [CC | ] | universe | Universe (mathematics) | 1 |
| Q1896657 [CC | ] | urelement | Urelement | 1 |
| Q1047000 [CC | ] | validity | Validity (logic) | 1 |
| Q50701 [CC | ] | variable | Variable (mathematics) | 1 |
| Q190763 [CC | ] | Venn diagram | Venn diagram | 1 |
| Q77887 [CC | ] | von Neumann universe | Von Neumann universe | 1 |
| Q278770 [CC | ] | Von Neumann–Bernays–Gödel set theory | Von Neumann–Bernays–Gödel set theory | 1 |
| Q655328 [CC | ] | well-formed formula | Well-formed formula | 1 |
| Q8019843 [CC | ] | William W. Tait | William W. Tait | 1 |
| Q191849 [CC | ] | Zermelo–Fraenkel set theory | Zermelo–Fraenkel set theory | 1 |
| Q841606 [CC | ] | tautology | トートロジー | 1 |
| Q47306354 [CC | ] | natural exponential function | 指数関数 | 1 |
| Q1860 [CC | ] | English | 英語 | 1 |
| Q1417326 [CC | ] | finitism | Finitismo | 1 |
| Q1403155 [CC | ] | epsilon numbers | Números épsilon | 1 |
| Q115800148 [CC | ] | No label in en! | Primer ordinal infinito | 1 |
| Q28458126 [CC | ] | substitution | Sustitución (álgebra) | 1 |