Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Paris–Harrington theorem · Vinony

🌐English

English Español Français Polski Português Svenska Türkçe Русский 中文日本語

EntityQ7137494· pop 8· linked from 19 articles

Paris–Harrington theorem

certain principle in Ramsey theory is true, but not provable in Peano arithmetic

Connections

Gödel's incompleteness theorems

International Standard Book Number

Categories

Independence results Theorems in the foundations of mathematics

Sources

wikipedia.externallinksexternallink

natural number

Entity

digital object identifier

mathematical logic

Zermelo–Fraenkel set theory

Ackermann function

computable function

partial function

transfinite induction

Annals of Mathematics

Ramsey's theorem

compactness theorem

primitive recursive function

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.55

Knaster–Tarski theorem

Entitydist 0.57

Gödel's incompleteness theorems

Entitydist 0.58

Entitydist 0.58

New Foundations

Entitydist 0.59

Tarski's undefinability theorem

Entitydist 0.60

Fermat's right triangle theorem

Entitydist 0.61

inaccessible cardinal

Entitydist 0.62

complete theory

Entitydist 0.63

Brooks' theorem

Entitydist 0.65

axiom of constructibility

Entitydist 0.65

Grötzsch's theorem

Entitydist 0.65

What links here19 pages

Kruskal's tree theorem

primitive recursive function

history of logic

undecidable problem

Goodstein's theorem

Gödel's incompleteness theorems

prime number theorem

Ramsey's theorem