Metadata
Author: WikiMatrix
Data
English[en]
This case of the theorem is still provable in Π1 1-CA0, but by adding a "gap condition" to the definition of the order on trees above, he found a natural variation of the theorem unprovable in this system.
Persian[fa]
این مورد از قضیه هنوز در Π11-CA۰ قابل اثبات است، اما با اضافه کردن یک «شرط جزئی» به تعریف مرتبسازی درختها در بالا، او یک تغییر طبیعی در تئوری یافت که در این سیستم غیرقابل اثبات بود .