Metadata
Author: WikiMatrix
Data
English[en]
In mathematical logic, the Paris–Harrington theorem states that a certain combinatorial principle in Ramsey theory, namely the strengthened finite Ramsey theorem, is true, but not provable in Peano arithmetic.
Swedish[sv]
Paris-Harringtons sats är en sats inom matematisk logik som anger att den starka ändliga varianten av Ramseys sats (som tillhör Ramseyteorin) är sann, men inte bevisbar i Peanoaritmetik.